--- 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%