--- a/lib/texinputs/isabellesym.sty Mon Oct 08 14:19:22 2001 +0200
+++ b/lib/texinputs/isabellesym.sty Mon Oct 08 14:19:42 2001 +0200
@@ -209,6 +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{\isasymstileturn}{\isamath{\dashv}}
\newcommand{\isasymsurd}{\isamath{\surd}}
\newcommand{\isasymle}{\isamath{\le}}
@@ -337,4 +339,3 @@
\newcommand{\isasymdieresis}{\isatext{\"\relax}}
\newcommand{\isasymcedilla}{\isatext{\c\relax}}
\newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
-