1.1 --- a/doc-src/TutorialI/appendix.tex	Mon Oct 09 17:40:47 2000 +0200
     1.2 +++ b/doc-src/TutorialI/appendix.tex	Mon Oct 09 19:20:55 2000 +0200
     1.3 @@ -54,10 +54,10 @@
     1.4  \verb$\<exists>!$\\
     1.5  \indexboldpos{\isasymepsilon}{$HOL0ExSome} &
     1.6  \ttindexbold{SOME} &
     1.7 -\verb$\<?>$\\
     1.8 +\verb$\<epsilon>$\\
     1.9  \indexboldpos{\isasymcirc}{$HOL1} &
    1.10  \ttindexbold{o} &
    1.11 -\verb$\<?>$\\
    1.12 +\verb$\<circ>$\\
    1.13  \indexboldpos{\isasymle}{$HOL2arithrel}&
    1.14  \ttindexboldpos{<=}{$HOL2arithrel}&
    1.15  \verb$\<le>$\\