CTAN has a new package: turnstile

Fri, 03 Aug 2007 11:32:50 +0200

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, 

...

ctan-ann - turnstile

CTAN has a new package: turnstile