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
Copy­right2007 Arthur Buchs­baum and Fran­cisco Reinaldo
Main­tainerArthur Buchs­baum
Fran­cisco Reinaldo
Con­tained inTeXlive 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