[Doc] Add table of contents.

newnotation.tex

@@ -22,9 +22,14 @@
 	This package implements a \verb#\newnotation# command that allows definition of macros in the style of \verb#\newcommand#. The table of all macros defined this way can be printed by \verb#\tableofnotation# or, with additional information, by \verb#\detailedtableofnotation#. For relation symbols, there is a designated \verb#\newrelation# command. Tables can be grouped, saved, loaded and reset.
 	\end{abstract}
 
+	\tableofcontents
+
+	\newpage
 	\section{Example}
 	\label{sec:example}
 	%==========================================================================
+
+	\subsection{Example code: define groups and notation}
 	Consider the following \LaTeX-file.
 	\begin{Verbatim}[frame=single,fontsize=\footnotesize,tabsize=4,commandchars=+()]
 \documentclass{article}
@@ -58,7 +63,9 @@ then $\interpretation+paren(x_2)=1$ or $\interpretation+paren(x_1) \neq
 +decorate(\detailedtableofnotation)
 \end{document}
 \end{Verbatim}
+
 	\newpage
+	\subsection{Example output (with detailed table of notation)}
 
 	The \LaTeX-code above results in the following output (displayed in brown).