turnstile: Typeset the (logic) turnstile notation.

Version:
Copyright:
License:
Packaged on:
8/15/2007 7:36:53 PM
Number of files:
6
Size on disk:
147.75 kB

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.