mirrorcatalogs logo
QArea Bughuntress
The TeX Catalogue OnLine, Entry for turnstile, Ctan Edition

The TeX Catalogue Online

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.

The authors are Arthur Buchsbaum and Francisco Reinaldo. The package is Copyright © 2007 Arthur Buchsbaum and Francisco Reinaldo.

License: lppl Version: 1.0 Catalogued: 2014-02-26

Powered by QArea and Bughuntress