name turnstile
category Package
revision 15878
shortdesc Typeset the (logic) turnstile notation.
relocated 1
longdesc Among other uses, the turnstile sign is used by logicians for
longdesc denoting a consequence relation, related to a given logic,
longdesc between a collection of formulas and a derived formula.
runfiles size=3
 RELOC/tex/latex/turnstile/turnstile.sty
catalogue-ctan /macros/latex/contrib/turnstile
catalogue-date 2014-02-26 23:03:13 +0100
catalogue-license lppl
catalogue-version 1.0