doc-src/TutorialI/tutorial.tex
changeset 10272 c02171c5fb20
parent 10236 7626cb4e1407
child 10298 b5fe1ab860fc
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Oct 19 21:18:15 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Oct 19 21:20:07 2000 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4  \newcommand{\isasymimp}{\isasymlongrightarrow}
     1.5  \newcommand{\isasymImp}{\isasymLongrightarrow}
     1.6  \newcommand{\isasymFun}{\isasymRightarrow}
     1.7 -\newcommand{\isasymuniqex}{\emph{$\exists!\,$}}
     1.8 +\newcommand{\isasymuniqex}{\isamath{\exists!\,}}
     1.9  
    1.10  \renewenvironment{isamarkuptxt}{\begin{isamarkuptext}}{\end{isamarkuptext}}
    1.11