# HG changeset patch
# User wenzelm
# Date 971983207 -7200
# Node ID c02171c5fb20d5356a7439f27b314630d53dfb62
# Parent  45b996639c45c21c977fcfbbf60966cbb8a00dc8
tuned \isasymuniqex;

diff -r 45b996639c45 -r c02171c5fb20 doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Thu Oct 19 21:18:15 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Thu Oct 19 21:20:07 2000 +0200
@@ -18,7 +18,7 @@
 \newcommand{\isasymimp}{\isasymlongrightarrow}
 \newcommand{\isasymImp}{\isasymLongrightarrow}
 \newcommand{\isasymFun}{\isasymRightarrow}
-\newcommand{\isasymuniqex}{\emph{$\exists!\,$}}
+\newcommand{\isasymuniqex}{\isamath{\exists!\,}}
 
 \renewenvironment{isamarkuptxt}{\begin{isamarkuptext}}{\end{isamarkuptext}}