CTAN Comprehensive TeX Archive Network

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.

Sources/macros/latex/contrib/turnstile
Documentation
Version1.0
LicensesThe Project Public License
Copyright2007 Arthur Buchsbaum and Francisco Reinaldo
MaintainerArthur Buchsbaum
Francisco Reinaldo
Contained inTeX Live as turnstile
MiKTeX as turnstile
TopicsLogic
Maths symbol

Download the contents of this package in one zip archive (617.2k).

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Guest Book Sitemap Contact Contact Author