CTAN masthead graphic CTAN lion sketch

Directory: CTAN home / tex-archive/ macros/ latex/ contrib/ turnstile

You can get this entire directory bundled as turnstile.zip.

Packages located here

Package Caption
turnstile Typeset the (logic) turnstile notation.

Subdirectories of this one

NameDateDescription
turnstile-en/ 2007-09-07
turnstile-pt/ 2007-09-07

Files in this directory

NameDateSize Description
README 2007-08-29 1 Kbyte download Shown below

Contents of the README file

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!  

Small print: This listing is regenerated periodically so there is a small chance that the directory has changed from what is shown here; to be sure, check the FTP listing.