--- a/doc-src/TutorialI/isabellesym.sty Wed May 19 11:31:26 2004 +0200
+++ b/doc-src/TutorialI/isabellesym.sty Wed May 19 11:41:58 2004 +0200
@@ -248,7 +248,7 @@
\newcommand{\isasymsqunion}{\isamath{\sqcup}}
\newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
\newcommand{\isasymsqinter}{\isamath{\sqcap}}
-\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}} %requires masmath
+\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}} %requires amsmath
\newcommand{\isasymuplus}{\isamath{\uplus}}
\newcommand{\isasymUplus}{\isamath{\biguplus\,}}
\newcommand{\isasymnoteq}{\isamath{\not=}}