# Directory `macros/latex/contrib/turnstile`

README

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. arthur@inf.ufsc.br, reinaldo.opus@gmail.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.

Package | turnstile |

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 | Class Maths symbol |