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.

Li­censeThe LaTeX Project Public Li­cense
Main­tainerArthur Buchs­baum
Fran­cisco Reinaldo
Con­tained inTeX Live as turn­stile
MiKTeX as turn­stile
Topics al­ter­na­tive LaTeX 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).

Guest Book Sitemap Contact Contact Author