CTAN has a new package: turnstile

[CTAN Announcements]

A new package has been put up on tug.ctan.org and should soon be at
your favorite mirror.

Thank you again,
Jim Hefferon
Saint Michael's College

------------------------------------------------------------------------

The following information was provided by our fellow contributor:

Name of contribution: turnstile
Author's name: Arthur Buchsbaum and Francisco Reinaldo
Location on CTAN: /macros/latex/contrib/turnstile
Summary description: The turnstile is a sign used a lot by logicians 
  for denoting a consequence relation, related to a given logic, 
  between a collection of formulas and a formula.
License type: lppl

Announcement text: 
----------------------------------------------------------------------
turnstile is a style based on article.cls to be used for typesetting 
articles. 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. Many logicians have complaint 
the lack of a \LaTeX\ routine for issuing turnstile signs, in any of 
the forms it could arise.
----------------------------------------------------------------------

This package is located at 
   http://tug.ctan.org/tex-archive/macros/latex/contrib/turnstile
.  More information is at
   http://tug.ctan.org/cgi-bin/ctanPackageInformation.py?id=turnstile
(if the package is new it may take a day for that information to 
appear).  We are supported by the TeX Users Group http://www.tug.org .  
Please join a users group; see http://www.tug.org/usergroups.html .