turnstile – Typeset the (logic) turnstile notation

Among other uses, the turnstile sign is used by logicians for denoting a consequence relation, related to a given logic, between a collection of formulas and a derived formula.

Sources	/macros/latex/contrib/turnstile
Documentation	README Article about the package (English) Article about the package (Portuguese) Package documentation (English) Package documentation (Portuguese)
Version	1.0
Licenses	The LaTeX Project Public License
Copyright	2007 Arthur Buchsbaum and Francisco Reinaldo
Maintainer	Arthur Buchsbaum Francisco Reinaldo
Contained in	TeX Live as turnstile MiKTeX as turnstile
Topics	Maths symbol Logic Tagged PDF – partially compatible

Download the contents of this package in one zip archive (617.2k).