condition code as string

book.tex

@@ -7457,7 +7457,7 @@ $\Atm$.
     \MID \skey{ch} \MID \skey{cl} \MID \skey{dh} \MID \skey{dl} \\
 \Arg &::=&  \gray{\IMM{\Int} \MID \REG{\Reg} \MID \DEREF{\Reg}{\Int}} 
      \MID \BYTEREG{\itm{bytereg}} \\
-\itm{cc} & ::= & \key{e} \MID \key{ne} \MID \key{l} \MID \key{le} \MID \key{g} \MID \key{ge} \\
+\itm{cc} & ::= & \skey{e} \MID \skey{ne} \MID \skey{l} \MID \skey{le} \MID \skey{g} \MID \skey{ge} \\
 \Instr &::=& \gray{ \BININSTR{\scode{addq}}{\Arg}{\Arg} 
        \MID \BININSTR{\scode{subq}}{\Arg}{\Arg} } \\
        &\MID& \gray{ \BININSTR{\scode{movq}}{\Arg}{\Arg} 
@@ -7469,7 +7469,7 @@ $\Atm$.
        \MID \BININSTR{\scode{cmpq}}{\Arg}{\Arg}\\
        &\MID& \BININSTR{\scode{set}}{\itm{cc}}{\Arg} 
        \MID \BININSTR{\scode{movzbq}}{\Arg}{\Arg}\\
-       &\MID&  \JMPIF{\key{'}\itm{cc}\key{'}}{\itm{label}} \\
+       &\MID&  \JMPIF{\itm{cc}}{\itm{label}} \\
 \LangXIfM{} &::= & \XPROGRAM{\itm{info}}{\LC\itm{label} \,\key{:}\, \Instr^{*} \key{,} \ldots \RC }
 \end{array}
 \]