doc-src/TutorialI/appendix.tex

 \texttt{|]}\index{$Isabrr@\ttrbr|bold} &
 \verb$\<rbrakk>$ \\
 \indexboldpos{\isasymImp}{$IsaImp} &
 \ttindexboldpos{==>}{$IsaImp} &
 \verb$\<Longrightarrow>$ \\
-\indexboldpos{\isasymAnd}{$IsaAnd} &
+\isasymAnd\index{$IsaAnd@\isasymAnd|bold}&
 \texttt{!!}\index{$IsaAnd@\ttAnd|bold} &
 \verb$\<And>$ \\
 \indexboldpos{\isasymequiv}{$IsaEq} &
 \ttindexboldpos{==}{$IsaEq} &
 \verb$\<equiv>$ \\

 \ttindexbold{Un} &
 \verb$\<union>$\\
 \indexboldpos{\isasyminter}{$HOL3Set1}&
 \ttindexbold{Int} &
 \verb$\<inter>$\\
-\indexboldpos{\isasymUnion}{$HOL3Set2}&
+\isasymUnion\index{$HOL3Set2@\isasymUnion|bold}&
 \ttindexbold{UN}, \ttindexbold{Union} &
 \verb$\<Union>$\\
-\indexboldpos{\isasymInter}{$HOL3Set2}&
+\isasymInter\index{$HOL3Set2@\isasymInter|bold}&
 \ttindexbold{INT}, \ttindexbold{Inter} &
 \verb$\<Inter>$\\
 \hline
 \end{tabular}
 \end{center}