
diff -r 8c6b4f7548e3 -r 6cf96b9f7b9e doc-src/TutorialI/Misc/document/natsum.tex
--- a/doc-src/TutorialI/Misc/document/natsum.tex	Thu Apr 12 15:01:13 2007 +0200
+++ b/doc-src/TutorialI/Misc/document/natsum.tex	Thu Apr 12 15:35:29 2007 +0200
@@ -154,7 +154,7 @@
 \isa{{\isasymand}}, \isa{{\isasymor}}, \isa{{\isasymlongrightarrow}}, \isa{{\isacharequal}},
 \isa{{\isasymforall}}, \isa{{\isasymexists}}), the relations \isa{{\isacharequal}},
 \isa{{\isasymle}} and \isa{{\isacharless}}, and the operations \isa{{\isacharplus}}, \isa{{\isacharminus}},
-\isa{min} and \isa{max}.  For example,%
+\isa{Orderings{\isachardot}min} and \isa{Orderings{\isachardot}max}.  For example,%
 \end{isamarkuptext}%
 \isamarkuptrue%
 \isacommand{lemma}\isamarkupfalse%




