--- a/doc-src/TutorialI/Misc/document/natsum.tex Mon May 21 19:05:37 2007 +0200
+++ b/doc-src/TutorialI/Misc/document/natsum.tex Mon May 21 19:11:38 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{Orderings{\isachardot}min} and \isa{Orderings{\isachardot}max}. For example,%
+\isa{min} and \isa{max}. For example,%
\end{isamarkuptext}%
\isamarkuptrue%
\isacommand{lemma}\isamarkupfalse%