# HG changeset patch
# User wenzelm
# Date 1010189934 -3600
# Node ID 812ce0d9fc85449b43e39ba1df23bd84a18675dd
# Parent  4d43b06a81e1a9605f9b53ac16ead781f96f8d9e
\newcommand{\isasymignore}{}, so we may use \<ignore> to disambiguate
  duplicate syntax declarations for demonstration purposes;

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}