equal
deleted
inserted
replaced
109 \end{center} |
109 \end{center} |
110 \caption{Mathematical Symbols, Their \textsc{ascii}-Equivalents and Internal Names} |
110 \caption{Mathematical Symbols, Their \textsc{ascii}-Equivalents and Internal Names} |
111 \label{tab:ascii} |
111 \label{tab:ascii} |
112 \end{table}\indexbold{ASCII@\textsc{ascii} symbols} |
112 \end{table}\indexbold{ASCII@\textsc{ascii} symbols} |
113 |
113 |
114 \input{Misc/document/appendix.tex} |
114 \input{document/appendix.tex} |
115 |
115 |
116 \begin{table}[htbp] |
116 \begin{table}[htbp] |
117 \begin{center} |
117 \begin{center} |
118 \begin{tabular}{@{}|lllllllll|@{}} |
118 \begin{tabular}{@{}|lllllllll|@{}} |
119 \hline |
119 \hline |