doc-src/TutorialI/appendix.tex

 \isasymuniqex\index{$HOL0ExU@\isasymuniqex|bold} &
 \ttEXU\index{EXX@\ttEXU|bold}, \ttuniquex\index{$HOL0ExU@\ttuniquex|bold} &
 \verb$\<exists>!$\\
 \indexboldpos{\isasymepsilon}{$HOL0ExSome} &
 \ttindexbold{SOME} &
-\verb$\<?>$\\
+\verb$\<epsilon>$\\
 \indexboldpos{\isasymcirc}{$HOL1} &
 \ttindexbold{o} &
-\verb$\<?>$\\
+\verb$\<circ>$\\
 \indexboldpos{\isasymle}{$HOL2arithrel}&
 \ttindexboldpos{<=}{$HOL2arithrel}&
 \verb$\<le>$\\
 \indexboldpos{\isasymtimes}{$IsaFun}&
 \ttindexboldpos{*}{$HOL2arithfun} &