
diff -r c722004c5a22 -r e7cd9719dbc2 doc-src/TutorialI/Misc/document/natsum.tex
--- 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%




