From fa83015aa924c53e7ccc466ccff5571b61f96316 Mon Sep 17 00:00:00 2001
From: Gaetano <gaetano.geck@tu-dortmund.de>
Date: Sun, 29 Apr 2018 12:54:01 +0200
Subject: [PATCH] [Doc] Add table of contents.

---
 newnotation.tex | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/newnotation.tex b/newnotation.tex
index ce9bbed..10e637f 100755
--- a/newnotation.tex
+++ b/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).