CTAN Comprehensive TeX Archive Network

CTAN has a new package: turnstile

Date: August 3, 2007 11:32:50 AM CEST
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 .

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.

Packageturnstile
Version1.0
Copyright2007 Arthur Buchsbaum and Francisco Reinaldo
MaintainerArthur Buchsbaum
Francisco Reinaldo

Announcements

more

Guest Book Sitemap Contact Contact Author