Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

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
Doc­u­men­ta­tion
Ver­sion1.0
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 2014-04-21 11:38 CEST