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 .