doc-src/TutorialI/appendix.tex

 \verb$^-1$\index{$HOL4inv@\verb$^-1$|bold} &
 \verb$\<inverse>$\\
 \hline
 \end{tabular}
 \end{center}
-\caption{Mathematical symbols, their \textsc{ascii}-equivalents and internal names}
+\caption{Mathematical Symbols, Their \textsc{ascii}-Equivalents and Internal Names}
 \label{tab:ascii}
 \end{table}\indexbold{ASCII@\textsc{ascii} symbols}
 
 \input{Misc/document/appendix.tex}
 

 \texttt{op} &
 \texttt{then}&&\\
 \hline
 \end{tabular}
 \end{center}
-\caption{Reserved words in HOL terms}
+\caption{Reserved Words in HOL Terms}
 \label{tab:ReservedWords}
 \end{table}
 
 
 %\begin{table}[htbp]

 % &
 % \\
 %\hline
 %\end{tabular}
 %\end{center}
-%\caption{Minor keywords in HOL theories}
+%\caption{Minor Keywords in HOL Theories}
 %\label{tab:keywords}
 %\end{table}