From a89006f91c702cc899e1585e991ad8c71b0c6567 Mon Sep 17 00:00:00 2001 From: Gaetano Date: Sun, 29 Apr 2018 12:53:25 +0200 Subject: [PATCH] [Doc] Use \newrelation* for \satisfies in the main example. --- newnotation.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/newnotation.tex b/newnotation.tex index 4df87d0..ce9bbed 100755 --- a/newnotation.tex +++ b/newnotation.tex @@ -19,7 +19,7 @@ \maketitle \begin{abstract} - 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#. Tables can be grouped, saved, loaded and reset. + 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} \section{Example} @@ -36,7 +36,7 @@ +decorate(\newnotation){\pair}[2]{\left(#1,#2\right)} +decorate(\notationnewgroup){Logics} -+decorate(\newnotation*){\satisfies}{\models} ++decorate(\newrelation*){\satisfies}{\models} +decorate(\newnotation){\interpretation}{\alpha}[interpretation] +decorate(\newnotation){\bigand}[2]{\bigwedge^{#2}_{#1=1}} +decorate(\newnotation){\disclause}[3]{(#1 \lor #2 \lor #3)} @@ -67,7 +67,7 @@ then $\interpretation+paren(x_2)=1$ or $\interpretation+paren(x_1) \neq \newnotation{\pair}[2]{\left(#1,#2\right)} \notationnewgroup{Logics} - \newnotation*{\satisfies}{\models} + \newrelation*{\satisfies}{\models} \newnotation{\interpretation}{\alpha}[interpretation] \newnotation{\bigand}[2]{\bigwedge^{#2}_{#1=1}} \newnotation{\disclause}[3]{(#1 \lor #2 \lor #3)}[OR-clause containing literals 1, 2 and 3] @@ -122,7 +122,7 @@ then $\interpretation+paren(x_2)=1$ or $\interpretation+paren(x_1) \neq is illustrated by the four commands from the introductory example: \begin{enumerate} \item {No arguments, no description:}\\ - \verb#\newnotation*{\satisfies}{\models}# + \verb#\newrelation*{\satisfies}{\models}# \item {No arguments but description:}\\ \verb#\newnotation{\interpretation}{\alpha}[interpretation]#