turnstile This style was based on article.cls to be used for typesetting articles. 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 formula. Many logicians have complaint the lack of a LaTeX routine for issuing turnstile signs, in any of the forms it could arise. AUTHOR Arthur Buchsbaum and Francisco Reinaldo. firstname.lastname@example.org, email@example.com COPYRIGHT This program is provided under the terms of the LaTeX Project Public License distributed from CTAN archives in the directory macros/latex/base/lppl.txt. (C) 2007 Arthur Buchsbaum e Francisco Reinaldo FILES AND DIRECTORIES AT CTAN README This file turnstile-en\ Directory of turnstile style (English version) turnstile-pt\ Directory of turnstile style (Portuguese version) :. . README . +---turnstile-pt . README.pt . turnstile-pt.dtx . turnstile-pt.ins . turnstile-pt.pdf . turnstile_artigo.pdf . turnstile_artigo.tex +---turnstile-en . README.en . turnstile-en.dtx . turnstile-en.ins . turnstile-en.pdf . turnstile_article.pdf . turnstile_article.tex Thanks and enjoy it!
Download the contents of this package in one zip archive (617.2k).
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.
|License||The LaTeX Project Public License|
|Copyright||2007 Arthur Buchsbaum and Francisco Reinaldo|
|Contained in||TeX Live as turnstile|
|MiKTeX as turnstile|