check

book.tex

@@ -7609,7 +7609,7 @@ high-quality output in the \code{explicate\_control} pass.
      &\MID& \gray{ \LET{\Var}{\Exp}{\Exp} } \\
      &\MID& \UNIOP{\key{not}}{\Atm} \\
       &\MID& \BINOP{\itm{cmp}}{\Atm}{\Atm} \MID \IF{\Exp}{\Exp}{\Exp} \\
-R^{\mathsf{ANF}}_{\mathsf{if}}  &::=& \PROGRAM{\code{()}}{\Exp}
+\LangIfANF  &::=& \PROGRAM{\code{()}}{\Exp}
 \end{array}
 \]
 \fi}