mirrorcatalogs logo
QArea software outsourcing company Bughuntress software testing compny
The TeX Catalogue OnLine, Entry for turnstile, Ctan Edition

The TeX Catalogue Online


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 Company and Bughuntress QA Lab