turnstile

Typeset the (logic) turnstile notation

License: lppl Version: 1.0 Catalogued: 2016-06-24

• Visit
  • Visit a nearby CTAN:/macros/latex/contrib/turnstile. If this fails, try Dante.
  • Visit Dante:/macros/latex/contrib/turnstile
• Download
  • Download from a nearby CTAN (automatically identified).
  • Download from Cambridge.
• Documentation
  • Readme: README.
  • Package documentation (English): turnstile-en.pdf.
  • Article about the package (English): turnstile_article.pdf.
  • Package documentation (Portuguese): turnstile-pt.pdf.
  • Article about the package (Portuguese): turnstile_artigo.pdf.
• Distributions
  • This package is included in TeX Live.
  • This package is included in MiKTeX.