1.1 --- a/doc-src/TutorialI/appendix.tex	Sun Apr 23 11:41:45 2000 +0200
     1.2 +++ b/doc-src/TutorialI/appendix.tex	Tue Apr 25 08:09:10 2000 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4  \end{center}
     1.5  \caption{Mathematical symbols and their ASCII-equivalents}
     1.6  \label{fig:ascii}
     1.7 -\end{figure}
     1.8 +\end{figure}\indexbold{ASCII symbols}
     1.9  
    1.10  \begin{figure}[htbp]
    1.11  \begin{center}