tuned \isasymuniqex;
authorwenzelm
Thu Oct 19 21:20:07 2000 +0200 (2000-10-19)
changeset 10272c02171c5fb20
parent 10271 45b996639c45
child 10273 59570adf2d3c
tuned \isasymuniqex;
doc-src/TutorialI/tutorial.tex
     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