--- a/doc-src/TutorialI/isabellesym.sty Mon Oct 08 12:28:43 2001 +0200
+++ b/doc-src/TutorialI/isabellesym.sty Mon Oct 08 14:19:22 2001 +0200
@@ -209,8 +209,8 @@
\newcommand{\isasymdiamond}{\isamath{\Diamond}} %requires latexsym
\newcommand{\isasymturnstile}{\isamath{\vdash}}
\newcommand{\isasymTurnstile}{\isamath{\models}}
-\newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\vdash}}
-\newcommand{\isasymtturnstile}{\isamath{\mid\models}}
+\newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\!\vdash}}
+\newcommand{\isasymTTurnstile}{\isamath{\mid\!\models}}
\newcommand{\isasymstileturn}{\isamath{\dashv}}
\newcommand{\isasymsurd}{\isamath{\surd}}
\newcommand{\isasymle}{\isamath{\le}}