# HG changeset patch # User wenzelm # Date 1010189934 -3600 # Node ID 812ce0d9fc85449b43e39ba1df23bd84a18675dd # Parent 4d43b06a81e1a9605f9b53ac16ead781f96f8d9e \newcommand{\isasymignore}{}, so we may use \ 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}