diff -r 4d43b06a81e1 -r 812ce0d9fc85 doc-src/TutorialI/tutorial.sty
--- a/doc-src/TutorialI/tutorial.sty	Sat Jan 05 01:17:48 2002 +0100
+++ b/doc-src/TutorialI/tutorial.sty	Sat Jan 05 01:18:54 2002 +0100
@@ -68,6 +68,7 @@
 \newcommand{\ttEXU}{\texttt{EX!}}
 \newcommand{\ttAnd}{\texttt{!!}}
 
+\newcommand{\isasymignore}{}
 \newcommand{\isasymimp}{\isasymlongrightarrow}
 \newcommand{\isasymImp}{\isasymLongrightarrow}
 \newcommand{\isasymFun}{\isasymRightarrow}