Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned \isasymuniqex;
authorwenzelm
Thu, 19 Oct 2000 21:20:07 +0200
changeset 10272 c02171c5fb20
parent 10271 45b996639c45
child 10273 59570adf2d3c
tuned \isasymuniqex;
doc-src/TutorialI/tutorial.tex file | annotate | diff | comparison | revisions 
--- 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}}
isabelle