| changeset 10272 | c02171c5fb20 |
| parent 10236 | 7626cb4e1407 |
| child 10298 | b5fe1ab860fc |
--- 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}}