Announcements for turnstile

2007-08-03 CTAN has a new package: turnstile

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.

Package	turnstile
Version	1.0
Copyright	2007 Arthur Buchsbaum and Francisco Reinaldo
Maintainer	Arthur Buchsbaum Francisco Reinaldo

Atom Atom 1.0 feed with announcements for package turnstile.
RSS RSS 2.0 feed with announcements for package turnstile.