diff --git a/src/machine.adoc b/src/machine.adoc index 261f3f41e..f739b3fe3 100644 --- a/src/machine.adoc +++ b/src/machine.adoc @@ -1135,7 +1135,7 @@ additional microarchitectural bits might be maintained in the extension to further reduce context save and restore overhead. The SD bit is read-only and is set when either the FS, VS, or XS bits -encode a Dirty state (i.e., SD=((FS==11) OR (XS==11) OR (VS==11))). This +encode a Dirty state (i.e., SD=\((FS==11) OR (XS==11) OR (VS==11))). This allows privileged code to quickly determine when no additional context save is required beyond the integer register set and `pc`.