diff -r 383b0a1837a9 -r aecb5bf6f76f doc-src/TutorialI/appendix.tex
--- a/doc-src/TutorialI/appendix.tex	Mon Oct 09 17:40:47 2000 +0200
+++ b/doc-src/TutorialI/appendix.tex	Mon Oct 09 19:20:55 2000 +0200
@@ -54,10 +54,10 @@
 \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>$\\