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).