Comprehensive TeX Archive Network

turnstile – Typeset the (logic) turnstile notation

Among other uses, the turn­stile sign is used by lo­gi­cians for de­not­ing a con­se­quence re­la­tion, re­lated to a given logic, be­tween a col­lec­tion of for­mu­las and a de­rived for­mula.

Sources /macros/latex/contrib/turnstile
Ver­sion 1.0
Li­cense The Project Public Li­cense
Main­tainer Arthur Buchs­baum
Fran­cisco Reinaldo
Con­tained in TeX Live as turn­stile
MiKTeX as turn­stile
Topics al­ter­na­tive class(es)
con­struc­tion or ap­pli­ca­tion of math­e­mat­i­cal sym­bols

Down­load the con­tents of this pack­age in one zip archive (617.2k).

Com­mu­nity Com­ments



Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author