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.

Quellen	/macros/latex/contrib/turnstile
Dokumentation	README Article about the package (English) Article about the package (Portuguese) Package documentation (English) Package documentation (Portuguese)
Version	1.0
Lizenzen	The LaTeX Project Public License
Copyright	2007 Arthur Buchsbaum and Francisco Reinaldo
Betreuer	Arthur Buchsbaum Francisco Reinaldo
Enthalten in	TeX Live als turnstile MiKTeX als turnstile
Themen	Logik Mathematiksymbole

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (617.2k).