# HG changeset patch
# User wenzelm
# Date 1002543582 -7200
# Node ID f5401162c9f00b245e66a567faa39df1a659dfd6
# Parent  f4d287d924bb69bf5e452f76162a56b0f2c8bbb1
added tturnstile, TTurnstile;

diff -r f4d287d924bb -r f5401162c9f0 lib/texinputs/isabellesym.sty
--- 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}}
-