added tturnstile, TTurnstile;
authorwenzelm
Mon Oct 08 14:19:42 2001 +0200 (2001-10-08)
changeset 11710f5401162c9f0
parent 11709 f4d287d924bb
child 11711 ecdfd237ffee
added tturnstile, TTurnstile;
lib/texinputs/isabellesym.sty
     1.1 --- a/lib/texinputs/isabellesym.sty	Mon Oct 08 14:19:22 2001 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Mon Oct 08 14:19:42 2001 +0200
     1.3 @@ -209,6 +209,8 @@
     1.4  \newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires latexsym
     1.5  \newcommand{\isasymturnstile}{\isamath{\vdash}}
     1.6  \newcommand{\isasymTurnstile}{\isamath{\models}}
     1.7 +\newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\!\vdash}}
     1.8 +\newcommand{\isasymTTurnstile}{\isamath{\mid\!\models}}
     1.9  \newcommand{\isasymstileturn}{\isamath{\dashv}}
    1.10  \newcommand{\isasymsurd}{\isamath{\surd}}
    1.11  \newcommand{\isasymle}{\isamath{\le}}
    1.12 @@ -337,4 +339,3 @@
    1.13  \newcommand{\isasymdieresis}{\isatext{\"\relax}}
    1.14  \newcommand{\isasymcedilla}{\isatext{\c\relax}}
    1.15  \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
    1.16 -