christopher.spinrath
/
latex-newnotation
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[Doc] Use \newrelation* for \satisfies in the main example.

This commit is contained in:
Gaetano Geck 2018-04-29 12:53:25 +02:00
parent 76d33ff457
commit a89006f91c
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
newnotation.tex
View File

@ -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]#