doc-src/TutorialI/appendix.tex

 \ttindexbold{o} &
 \verb$\<circ>$\\
 \indexboldpos{\isasymle}{$HOL2arithrel}&
 \ttindexboldpos{<=}{$HOL2arithrel}&
 \verb$\<le>$\\
-\indexboldpos{\isasymtimes}{$IsaFun}&
+\indexboldpos{\isasymtimes}{$Isatype}&
 \ttindexboldpos{*}{$HOL2arithfun} &
 \verb$\<times>$\\
 \indexboldpos{\isasymin}{$HOL3Set0a}&
 \ttindexboldpos{:}{$HOL3Set0b} &
 \verb$\<in>$\\