turnstile
  	This style was 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.

AUTHOR 
  	Arthur Buchsbaum and Francisco Reinaldo.
	arthur@inf.ufsc.br, reinaldo.opus@gmail.com


COPYRIGHT
  This program is provided under the terms of the
  LaTeX Project Public License distributed from CTAN
  archives in the directory macros/latex/base/lppl.txt.
  (C) 2007 Arthur Buchsbaum

VERSION
  This is the turnstile version 1.0

CHANGES
  1.0  First public release.

FILES AND DIRECTORIES AT CTAN
  README.txt     	This file.
  tunstile.dtx   	The source for the turnstile styles.
  tunstile.ins   	Driver file for turnstile.dtx
  tunstile_PTJ.pdf  Pdf version of the documentation,
                 	published PracTeX Journal: Issue 2007-3.

REQUIREMENTS
  The installation of the tunstile package requires the ifthen
  and amsmath package. Please use <<the last LaTeX version>>.

INSTALLATION (OF THE LATEX PACKAGE AND THE METAFONT SOURCE FILES)
  	The installation procedure is described in the documentation, but
	you can also follow these steps.

  1. Download the files turnstile.ins and turnstile.dtx to a preferably
     empty directory. If you intend to keep the documentation, you'd
     better create a suitable directory and put the files there right
     now; 
  2. Start a shell where you can enter commands from the keyboard.
  3. Go to the directory where you did put the files turnstile.dtx
     and turnstile.ins
  4. Run the command
       pdflatex turnstile.ins
     You will obtain the turnstile.sty
  5. Run the command
       pdflatex turnstile.dtx
     to produce the documentation and test the installation.
     Run it one more time to resolve the references, before
     you view it.


