summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/turnstile/turnstile-en
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/turnstile/turnstile-en
Initial commit
Diffstat (limited to 'macros/latex/contrib/turnstile/turnstile-en')
-rw-r--r--macros/latex/contrib/turnstile/turnstile-en/README.en58
-rw-r--r--macros/latex/contrib/turnstile/turnstile-en/turnstile-en.dtx413
-rw-r--r--macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins50
-rw-r--r--macros/latex/contrib/turnstile/turnstile-en/turnstile-en.pdfbin0 -> 106466 bytes
-rw-r--r--macros/latex/contrib/turnstile/turnstile-en/turnstile_article.pdfbin0 -> 96546 bytes
-rw-r--r--macros/latex/contrib/turnstile/turnstile-en/turnstile_article.tex258
6 files changed, 779 insertions, 0 deletions
diff --git a/macros/latex/contrib/turnstile/turnstile-en/README.en b/macros/latex/contrib/turnstile/turnstile-en/README.en
new file mode 100644
index 0000000000..3639e62eba
--- /dev/null
+++ b/macros/latex/contrib/turnstile/turnstile-en/README.en
@@ -0,0 +1,58 @@
+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. This package aims to
+ issue the turnstile sign in many ways, and is capable of
+ putting labels below and above it.
+
+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 e Francisco Reinaldo
+
+VERSION
+ This is the turnstile version 1.0
+
+CHANGES
+ 1.0 First public release.
+
+FILES AND DIRECTORIES AT CTAN
+ README.en This file
+ turnstile-en.dtx The source of turnstile style
+ turnstile-en.pdf Pdf version of turnstile style
+ turnstile-en.ins Driver file for turnstile-en.dtx
+ turnstile_article.tex Source code of article
+ turnstile_article.pdf Pdf version of the documentation,
+ published PracTeX Journal: Issue 2007-3
+
+REQUIREMENTS
+ The installation of the turnstile package requires the ifthen
+ 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 turnsilte-en\turnstile-en.ins and
+ turnsilte-en\turnstile-en.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-en.dtx
+ and turnstile-en.ins
+ 4. Run the command
+ pdflatex turnstile-en.ins
+ You will obtain the turnstile-en.sty
+ 5. Run the command
+ pdflatex turnstile-en.dtx
+ to produce the documentation and test the installation.
+ Run it one more time to resolve the references, before
+ you view it
diff --git a/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.dtx b/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.dtx
new file mode 100644
index 0000000000..978bf2187d
--- /dev/null
+++ b/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.dtx
@@ -0,0 +1,413 @@
+% \iffalse meta-comment
+%
+%
+% This file may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.2 of this license or (at your option) any later version.
+% The latest version of this license is in:
+%
+% http://www.latex-project.org/lppl.txt
+%
+% and version 1.2 or later is part of all distributions of LaTeX version 1999/12/01 or later.
+%
+% \fi
+%
+% \iffalse
+%<*driver>
+\ProvidesFile{turnstile-en.dtx}
+%</driver>
+%<package>\ProvidesPackage{turnstile}
+%<*package>
+ [2007/06/23 v1.0 turnstile file]
+%</package>
+%
+%<*driver>
+\documentclass{ltxdoc}
+\usepackage{ifthen}
+\EnableCrossrefs
+\CodelineIndex
+\RecordChanges
+
+\begin{document}
+ \DocInput{turnstile-en.dtx}
+ \PrintChanges
+ \PrintIndex
+\end{document}
+
+%</driver>
+% \fi
+%
+% \CheckSum{0}
+%
+%
+% \changes{v1.0}{2007/06/23}{Initial version}
+%
+% \GetFileInfo{turnstile-en.dtx}
+%
+% \DoNotIndex{\if}
+%
+%
+% \title{The \textsf{turnstile} package}
+% \author{%
+% Arthur Buchsbaum\\
+% Francisco Reinaldo\\
+% \texttt{arthur@inf.ufsc.br, reinaldo.opus@gmail.com}}
+% \date{\filedate\qquad\fileversion}
+%
+% \maketitle
+%
+% \begin{abstract}
+% \noindent\textsf{turnstile} is a class based on \texttt{article.cls}, to be used for typesetting articles. Among other uses, the turnstile sign is used for denoting a consequence relation, related to a given logic, between collections of formulas and formulas. Many logicians have complaint the lack of a \LaTeX\ routine for issuing turnstile signs, in any of the forms it could arise.
+% \end{abstract}
+%
+% \tableofcontents
+%
+% \section{Introduction}
+%
+% In this package some routines are provided for issuing the turnstile sign, nearly in all ways it could be utilized, from syntactical consequence to semantical consequence and forcing. A turnstile sign is usually composed of two lines, a horizontal one and a vertical one. Each of them can be single, double or triple, depending on the type of consequence relation someone wants to represent.
+%
+% \section{User macros}
+%
+% Below the turnstile sign it is usually put the name of a given logic, whereas, sometimes, some complementary information above it. The size of the expressions located below or above the turnstile sign determines its width and, of course, the length of its horizontal line.
+%
+% \section{Code}
+%
+% Identidication of the package and use of the package \textsf{ifthen}.
+% \begin{macrocode}
+\RequirePackage{ifthen}
+% \end{macrocode}
+%
+% \subsection{Macro: $\backslash$newlength}
+%
+% \DescribeMacro{\newlength} The macro |\newlength{|\meta{command}|}| can be used to specify the space parameter.
+%
+% \subsubsection{Internal Commands}
+%
+% \DescribeMacro{\firstwidth} The width of the expression to be located below the turnstile sign.
+% \begin{macrocode}
+\newlength{\firstwidth}
+% \end{macrocode}
+%
+% \DescribeMacro{\secondwidth} The width of the expression to be located above the turnstile sign.
+% \begin{macrocode}
+\newlength{\secondwidth}
+% \end{macrocode}
+
+% \DescribeMacro{\extrawidth} The extra length of the horizontal line to be put before and after the greatest expression.
+% \begin{macrocode}
+\newlength{\extrawidth}
+% \end{macrocode}
+
+% \DescribeMacro{\leasturnstilewidth} The length of the horizontal line when no expression is put below and above.
+% \begin{macrocode}
+\newlength{\leasturnstilewidth}
+% \end{macrocode}
+
+% \DescribeMacro{\turnstilewidth} The length of the horizontal line.
+% \begin{macrocode}
+\newlength{\turnstilewidth}
+% \end{macrocode}
+
+% \DescribeMacro{\turnstileheight} The length of the vertical line.
+% \begin{macrocode}
+\newlength{\turnstileheight}
+% \end{macrocode}
+
+% \DescribeMacro{\dashthickness} The thickness of the dashes used to compose the lines of the turnstile sign.
+% \begin{macrocode}
+\newlength{\dashthickness}
+% \end{macrocode}
+
+% \DescribeMacro{\ddashthickness} The standard distance between two dashes in a double or triple line of the turnstile sign.
+% \begin{macrocode}
+\newlength{\ddashthickness}
+% \end{macrocode}
+
+
+% \DescribeMacro{\raiseup} The vertical distance for lifting up the expression to be located above the turnstile sign.
+% \begin{macrocode}
+\newlength{\raiseup}
+% \end{macrocode}
+
+% \DescribeMacro{\raisedown} The vertical distance for lifting down the expression to be located below the turnstile sign.
+% \begin{macrocode}
+\newlength{\raisedown}
+% \end{macrocode}
+
+% \DescribeMacro{\tinyverdistance} The very short distance for lifting up or down an expression, depending if the horizontal line is single, double or triple, and from the standard thickness of the dash used for composition of any line of the turnstile sign.
+% \begin{macrocode}
+\newlength{\tinyverdistance}
+% \end{macrocode}
+
+% \DescribeMacro{\verdistance} The distance between the expression located above or below and the horizontal line.
+% \begin{macrocode}
+\newlength{\verdistance}
+% \end{macrocode}
+
+% \DescribeMacro{\lift} The vertical distance in which the final composition of the turnstile will be lift.
+% \begin{macrocode}
+\newlength{\lift}
+% \end{macrocode}
+
+% \DescribeMacro{\lengthvar} It is only an auxiliary length variable.
+% \begin{macrocode}
+\newlength{\lengthvar}
+% \end{macrocode}
+%
+% \subsection{Macro: $\backslash$newsavebox}
+%
+% \DescribeMacro{\newsavebox} |\newsavebox{|\meta{command}|}| is used to store any expression which composes the turnstile sign, including the complete turnstile sign.
+%
+% \subsubsection{Internal Commands}
+%
+% \DescribeMacro{\first} It contains the expression to be located below the turnstile sign.
+% \begin{macrocode}
+\newsavebox{\first}
+% \end{macrocode}
+
+% \DescribeMacro{\second} It contains the expression to be located above the turnstile sign.
+% \begin{macrocode}
+\newsavebox{\second}
+% \end{macrocode}
+
+% \DescribeMacro{\turnstilebox} It contains the final composition of the turnstile sign, before eventually adding horizontal spaces before and after it, depending if it will be used as a binary relation.
+% \begin{macrocode}
+\newsavebox{\turnstilebox}
+% \end{macrocode}
+%
+% \subsection{Macro: $\backslash$makever}
+%
+% \DescribeMacro{\makever} |\makever{|\meta{command}|}[|\meta{params}|]| |\makever| is a routine used by |\turnstile| command, which composes a vertical line for the turnstile sign (some turnstile signs can have two vertical lines: one before and one after the horizontal line). It uses four arguments. The first one informs the kind of the line, ``n'' for no dash, ``s'' for a single line, ``d'' for a double line, and ``t'' for a triple line; the second one informs the thickness of a dash; the third one the height of the vertical line; and finally the fourth one the distance between two adjacent vertical dashes. Of course, |\makever| draws nothing if the first argument equals ``n''.
+%
+% \begin{macrocode}
+\newcommand{\makever}[4]
+ {\ifthenelse{\equal{#1}{s}}{\rule[-0.5#3]{#2}{#3}}{}
+ \ifthenelse{\equal{#1}{d}}{\rule[-0.5#3]{#2}{#3}
+ \hspace{#4}
+ \rule[-0.5#3]{#2}{#3}}{}
+ \ifthenelse{\equal{#1}{t}}{\rule[-0.5#3]{#2}{#3}
+ \hspace{#4}
+ \rule[-0.5#3]{#2}{#3}
+ \hspace{#4}
+ \rule[-0.5#3]{#2}{#3}}{}}
+% \end{macrocode}
+%
+% \subsection{Macro: $\backslash$makehor}
+%
+% \DescribeMacro{\makehor} |\makehor{|\meta{command}|}[|\meta{params}|]| |\makehor| is also a routine used by |\turnstile| command, which composes the horizontal line of the turnstile sign. It uses four arguments. The first one informs the kind of the line, ``n'' for no dash, ``s'' for a single line, ``d'' for a double line, and ``t'' for a triple line; the second one informs the thickness of a dash; the third one the length of the horizontal line, and finally the fourth one the distance between two adjacent horizontal dashes. |\makehor| only advances an horizontal space of |\turnstilewidth| if the first argument equals ``n'', for at least providing space for the two expressions which must be located below and above the turnstile sign.
+%
+% \begin{macrocode}
+\newcommand{\makehor}[4]
+ {\ifthenelse{\equal{#1}{n}}{\hspace{#3}}{}
+ \ifthenelse{\equal{#1}{s}}{\rule[-0.5#2]{#3}{#2}}{}
+ \ifthenelse{\equal{#1}{d}}{\setlength{\lengthvar}{#2}
+ \addtolength{\lengthvar}{0.5#4}
+ \rule[-\lengthvar]{#3}{#2}
+ \hspace{-#3}
+ \rule[0.5#4]{#3}{#2}}{}
+ \ifthenelse{\equal{#1}{t}}{\setlength{\lengthvar}{1.5#2}
+ \addtolength{\lengthvar}{#4}
+ \rule[-\lengthvar]{#3}{#2}
+ \hspace{-#3}
+ \rule[-0.5#2]{#3}{#2}
+ \hspace{-#3}
+ \setlength{\lengthvar}{0.5#2}
+ \addtolength{\lengthvar}{#4}
+ \rule[\lengthvar]{#3}{#2}}{}}
+% \end{macrocode}
+%
+% \subsection{Macro: $\backslash$turnstile}
+%
+% \DescribeMacro{\turnstile} |\turnstile{|\meta{6}|}[|\meta{params}|]| |\turnstile| draws a turnstile sign together with its accompanying expressions.
+%
+%The first argument is optional, it informs the size by which the internal expressions must be displayed, ``d'' for displayed formulas, ``t'' for text formulas, ``s'' for first subscript or superscript formulas, and ``ss'' for later subscript or superscript formulas. The default value is ``s''. The result of applying ``t'' or ``d'' is the same, except if there is a mathematical sign in the fourth or fifth argument issued in distinct ways, depending if it is inside text formulas or displayed formulas.
+%
+%The second argument informs the kind of the vertical line which precedes the horizontal line, ``s'' for a single one, ``d'' for a double one, ``t'' for a triple one and ``n'' when no line is drawn before the horizontal line.
+%
+% The third argument provides the kind of the horizontal line, in an analogous way.
+%
+%The fourth and fifth arguments provide respectively the expressions to be placed below and above the turnstile sign, whereon both these expressions are converted to the size specified by the first argument.
+%
+%Finally, the sixth argument informs the kind of the closing vertical line, if it exists, also in an analogous way that it is done for the second and third arguments.
+%
+% \begin{macrocode}
+\newcommand{\turnstile}[6][s]
+ {\ifthenelse{\equal{#1}{d}}
+ {\sbox{\first}{$\displaystyle{#4}$}
+ \sbox{\second}{$\displaystyle{#5}$}}{}
+ \ifthenelse{\equal{#1}{t}}
+ {\sbox{\first}{$\textstyle{#4}$}
+ \sbox{\second}{$\textstyle{#5}$}}{}
+ \ifthenelse{\equal{#1}{s}}
+ {\sbox{\first}{$\scriptstyle{#4}$}
+ \sbox{\second}{$\scriptstyle{#5}$}}{}
+ \ifthenelse{\equal{#1}{ss}}
+ {\sbox{\first}{$\scriptscriptstyle{#4}$}
+ \sbox{\second}{$\scriptscriptstyle{#5}$}}{}
+ \setlength{\dashthickness}{0.111ex}
+ \setlength{\ddashthickness}{0.35ex}
+ \setlength{\leasturnstilewidth}{0.8em}
+ \setlength{\extrawidth}{0.2em}
+ \ifthenelse{%
+ \equal{#3}{n}}{\setlength{\tinyverdistance}{0ex}}{}
+ \ifthenelse{%
+ \equal{#3}{s}}{\setlength{\tinyverdistance}{0.5\dashthickness}}{}
+ \ifthenelse{%
+ \equal{#3}{d}}{\setlength{\tinyverdistance}{0.5\ddashthickness}
+ \addtolength{\tinyverdistance}{\dashthickness}}{}
+ \ifthenelse{%
+ \equal{#3}{t}}{\setlength{\tinyverdistance}{1.5\dashthickness}
+ \addtolength{\tinyverdistance}{\ddashthickness}}{}
+ \setlength{\verdistance}{0.4ex}
+ \settoheight{\lengthvar}{\usebox{\first}}
+ \setlength{\raisedown}{-\lengthvar}
+ \addtolength{\raisedown}{-\tinyverdistance}
+ \addtolength{\raisedown}{-\verdistance}
+ \settodepth{\raiseup}{\usebox{\second}}
+ \addtolength{\raiseup}{\tinyverdistance}
+ \addtolength{\raiseup}{\verdistance}
+ \setlength{\lift}{0.8ex}
+ \settowidth{\firstwidth}{\usebox{\first}}
+ \settowidth{\secondwidth}{\usebox{\second}}
+ \ifthenelse{\lengthtest{\firstwidth = 0ex}
+ \and
+ \lengthtest{\secondwidth = 0ex}}
+ {\setlength{\turnstilewidth}{\leasturnstilewidth}}
+ {\setlength{\turnstilewidth}{2\extrawidth}
+ \ifthenelse{\lengthtest{\firstwidth < \secondwidth}}
+ {\addtolength{\turnstilewidth}{\secondwidth}}
+ {\addtolength{\turnstilewidth}{\firstwidth}}}
+ \setlength{\turnstileheight}{3ex}
+ \sbox{\turnstilebox}
+ {\raisebox{\lift}{\ensuremath{
+ \makever{#2}{\dashthickness}{\turnstileheight}{\ddashthickness}
+ \makehor{#3}{\dashthickness}{\turnstilewidth}{\ddashthickness}
+ \hspace{-\turnstilewidth}
+ \raisebox{\raisedown}
+ {\makebox[\turnstilewidth]{\usebox{\first}}}
+ \hspace{-\turnstilewidth}
+ \raisebox{\raiseup}
+ {\makebox[\turnstilewidth]{\usebox{\second}}}
+ \makever{#6}{\dashthickness}{\turnstileheight}{\ddashthickness}}}}
+ \mathrel{\usebox{\turnstilebox}}}
+% \end{macrocode}
+%
+% \subsection{Macro: $\backslash$??tstile , $\backslash$???tstile}
+%
+% \DescribeMacro{\??tstile}
+% \DescribeMacro{\???tstile}
+% Next some more new commands are provided for getting easier the calling of |\turnstile| command. Before the string ``tstile'' of any of these commands it can be placed a string with two |\??| or three |\???| letters. These letters indicate the kind of the lines to be successively drawn; they can be ``n'', ``s'', ``d'' or ``t''. The letter ``n'' informs that the line is empty, the letter ``s'' that the line is single, the letter ``d'' that the line is double, and finally ``t'' indicates that the line is triple.
+%
+%The corresponding commands for the two lettered strings provide the most common turnstile signs, in which is not drawn a second vertical line following the horizontal line. The first letter of these strings indicates the kind of the vertical line and the second the kind of the horizontal line to be drawn after the vertical line. The three lettered strings can contain any of the letters ``n'', ``s'', ``d'' and ``t'', with the restriction that the last letter must be distinct from ``n'', because the case in which the third line is empty is already dealt by the commands with two lettered strings preceding ``tstile''. The first letter informs the kind of the first vertical line, the second the kind of the horizontal line, and finally the third letter the kind of the second vertical line. Below there are the commands providing turnstile signs with a vertical line followed by a horizontal line, whereon any of these two lines can be empty, and the commands providing turnstile signs with a second vertical line, besides the first one, whereon the first two lines can be empty, but the second vertical line is not empty.
+%
+%All these commands have three arguments, whereon the first one is optional.
+%
+%The first argument is optional, it informs the size by which the internal expressions must be displayed, ``d'' for displayed formulas, ``t'' for text formulas, ``s'' for first subscript or superscript formulas, and ``ss'' for later subscript or superscript formulas. The default value is ``s''. The result of applying ``t'' or ``d'' is the same, except if there is a mathematical sign in the second or third argument issued in distinct ways, depending if it is inside text formulas or displayed formulas.
+%
+%The second and third arguments provide respectively the expressions to be placed below and above the turnstile sign, whereon both these expressions are converted to the size specified by the first argument.
+%
+% \begin{macrocode}
+\newcommand{\nntstile}[3][s]{\turnstile[#1]{n}{n}{#2}{#3}{n}}
+\newcommand{\nststile}[3][s]{\turnstile[#1]{n}{s}{#2}{#3}{n}}
+\newcommand{\ndtstile}[3][s]{\turnstile[#1]{n}{d}{#2}{#3}{n}}
+\newcommand{\nttstile}[3][s]{\turnstile[#1]{n}{t}{#2}{#3}{n}}
+
+\newcommand{\sntstile}[3][s]{\turnstile[#1]{s}{n}{#2}{#3}{n}}
+\newcommand{\sststile}[3][s]{\turnstile[#1]{s}{s}{#2}{#3}{n}}
+\newcommand{\sdtstile}[3][s]{\turnstile[#1]{s}{d}{#2}{#3}{n}}
+\newcommand{\sttstile}[3][s]{\turnstile[#1]{s}{t}{#2}{#3}{n}}
+
+\newcommand{\dntstile}[3][s]{\turnstile[#1]{d}{n}{#2}{#3}{n}}
+\newcommand{\dststile}[3][s]{\turnstile[#1]{d}{s}{#2}{#3}{n}}
+\newcommand{\ddtstile}[3][s]{\turnstile[#1]{d}{d}{#2}{#3}{n}}
+\newcommand{\dttstile}[3][s]{\turnstile[#1]{d}{t}{#2}{#3}{n}}
+
+\newcommand{\tntstile}[3][s]{\turnstile[#1]{t}{n}{#2}{#3}{n}}
+\newcommand{\tststile}[3][s]{\turnstile[#1]{t}{s}{#2}{#3}{n}}
+\newcommand{\tdtstile}[3][s]{\turnstile[#1]{t}{d}{#2}{#3}{n}}
+\newcommand{\tttstile}[3][s]{\turnstile[#1]{t}{t}{#2}{#3}{n}}
+
+\newcommand{\nnststile}[3][s]{\turnstile[#1]{n}{n}{#2}{#3}{s}}
+\newcommand{\nsststile}[3][s]{\turnstile[#1]{n}{s}{#2}{#3}{s}}
+\newcommand{\ndststile}[3][s]{\turnstile[#1]{n}{d}{#2}{#3}{s}}
+\newcommand{\ntststile}[3][s]{\turnstile[#1]{n}{t}{#2}{#3}{s}}
+
+\newcommand{\nndtstile}[3][s]{\turnstile[#1]{n}{n}{#2}{#3}{d}}
+\newcommand{\nsdtstile}[3][s]{\turnstile[#1]{n}{s}{#2}{#3}{d}}
+\newcommand{\nddtstile}[3][s]{\turnstile[#1]{n}{d}{#2}{#3}{d}}
+\newcommand{\ntdtstile}[3][s]{\turnstile[#1]{n}{t}{#2}{#3}{d}}
+
+\newcommand{\nnttstile}[3][s]{\turnstile[#1]{n}{n}{#2}{#3}{t}}
+\newcommand{\nsttstile}[3][s]{\turnstile[#1]{n}{s}{#2}{#3}{t}}
+\newcommand{\ndttstile}[3][s]{\turnstile[#1]{n}{d}{#2}{#3}{t}}
+\newcommand{\ntttstile}[3][s]{\turnstile[#1]{n}{t}{#2}{#3}{t}}
+
+\newcommand{\snststile}[3][s]{\turnstile[#1]{s}{n}{#2}{#3}{s}}
+\newcommand{\ssststile}[3][s]{\turnstile[#1]{s}{s}{#2}{#3}{s}}
+\newcommand{\sdststile}[3][s]{\turnstile[#1]{s}{d}{#2}{#3}{s}}
+\newcommand{\stststile}[3][s]{\turnstile[#1]{s}{t}{#2}{#3}{s}}
+
+\newcommand{\sndtstile}[3][s]{\turnstile[#1]{s}{n}{#2}{#3}{d}}
+\newcommand{\ssdtstile}[3][s]{\turnstile[#1]{s}{s}{#2}{#3}{d}}
+\newcommand{\sddtstile}[3][s]{\turnstile[#1]{s}{d}{#2}{#3}{d}}
+\newcommand{\stdtstile}[3][s]{\turnstile[#1]{s}{t}{#2}{#3}{d}}
+
+\newcommand{\snttstile}[3][s]{\turnstile[#1]{s}{n}{#2}{#3}{t}}
+\newcommand{\ssttstile}[3][s]{\turnstile[#1]{s}{s}{#2}{#3}{t}}
+\newcommand{\sdttstile}[3][s]{\turnstile[#1]{s}{d}{#2}{#3}{t}}
+\newcommand{\stttstile}[3][s]{\turnstile[#1]{s}{t}{#2}{#3}{t}}
+
+\newcommand{\dnststile}[3][s]{\turnstile[#1]{d}{n}{#2}{#3}{s}}
+\newcommand{\dsststile}[3][s]{\turnstile[#1]{d}{s}{#2}{#3}{s}}
+\newcommand{\ddststile}[3][s]{\turnstile[#1]{d}{d}{#2}{#3}{s}}
+\newcommand{\dtststile}[3][s]{\turnstile[#1]{d}{t}{#2}{#3}{s}}
+
+\newcommand{\dndtstile}[3][s]{\turnstile[#1]{d}{n}{#2}{#3}{d}}
+\newcommand{\dsdtstile}[3][s]{\turnstile[#1]{d}{s}{#2}{#3}{d}}
+\newcommand{\dddtstile}[3][s]{\turnstile[#1]{d}{d}{#2}{#3}{d}}
+\newcommand{\dtdtstile}[3][s]{\turnstile[#1]{d}{t}{#2}{#3}{d}}
+
+\newcommand{\dnttstile}[3][s]{\turnstile[#1]{d}{n}{#2}{#3}{t}}
+\newcommand{\dsttstile}[3][s]{\turnstile[#1]{d}{s}{#2}{#3}{t}}
+\newcommand{\ddttstile}[3][s]{\turnstile[#1]{d}{d}{#2}{#3}{t}}
+\newcommand{\dtttstile}[3][s]{\turnstile[#1]{d}{t}{#2}{#3}{t}}
+
+\newcommand{\tnststile}[3][s]{\turnstile[#1]{t}{n}{#2}{#3}{s}}
+\newcommand{\tsststile}[3][s]{\turnstile[#1]{t}{s}{#2}{#3}{s}}
+\newcommand{\tdststile}[3][s]{\turnstile[#1]{t}{d}{#2}{#3}{s}}
+\newcommand{\ttststile}[3][s]{\turnstile[#1]{t}{t}{#2}{#3}{s}}
+
+\newcommand{\tndtstile}[3][s]{\turnstile[#1]{t}{n}{#2}{#3}{d}}
+\newcommand{\tsdtstile}[3][s]{\turnstile[#1]{t}{s}{#2}{#3}{d}}
+\newcommand{\tddtstile}[3][s]{\turnstile[#1]{t}{d}{#2}{#3}{d}}
+\newcommand{\ttdtstile}[3][s]{\turnstile[#1]{t}{t}{#2}{#3}{d}}
+
+\newcommand{\tnttstile}[3][s]{\turnstile[#1]{t}{n}{#2}{#3}{t}}
+\newcommand{\tsttstile}[3][s]{\turnstile[#1]{t}{s}{#2}{#3}{t}}
+\newcommand{\tdttstile}[3][s]{\turnstile[#1]{t}{d}{#2}{#3}{t}}
+\newcommand{\ttttstile}[3][s]{\turnstile[#1]{t}{t}{#2}{#3}{t}}
+% \end{macrocode}
+%
+% Well, we think you took everything. Enjoy using \texttt{turnstile}!
+%
+%
+% \CharacterTable
+% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+% Digits \0\1\2\3\4\5\6\7\8\9
+% Exclamation \! Double quote \" Hash (number) \#
+% Dollar \$ Percent \% Ampersand \&
+% Acute accent \' Left paren \( Right paren \)
+% Asterisk \* Plus \+ Comma \,
+% Minus \- Point \. Solidus \/
+% Colon \: Semicolon \; Less than \<
+% Equals \= Greater than \> Question mark \?
+% Commercial at \@ Left bracket \[ Backslash \\
+% Right bracket \] Circumflex \^ Underscore \_
+% Grave accent \` Left brace \{ Vertical bar \|
+% Right brace \} Tilde \~}
+%
+%
+% \Finale
+\endinput
+
+
+
diff --git a/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins b/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins
new file mode 100644
index 0000000000..3787af6cb0
--- /dev/null
+++ b/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.ins
@@ -0,0 +1,50 @@
+%%
+%% Copyright (C) 2007 by ..
+%%
+%% This file will generate documentation and runtime files
+%% from turnstile-en.dtx when run through LaTeX or TeX.
+%% See copyright notice below.
+%%
+%%
+
+\input docstrip.tex
+\keepsilent
+\usedir{tex/latex/turnstile}
+
+\preamble
+
+This is a generated file.
+
+Copyright (C) 2007 by Arthur Buchsbaum and Francisco Reinaldo
+<arthur@inf.ufsc.br>, <reinaldo.opus@gmail.com>
+
+This file may be distributed and/or modified under the conditions of
+the LaTeX Project Public License, either version 1.2 of this license
+or (at your option) any later version. The latest version of this
+license is in:
+
+ http://www.latex-project.org/lppl.txt
+
+and version 1.2 or later is part of all distributions of LaTeX version
+1999/12/01 or later.
+
+\endpreamble
+\askforoverwritefalse
+\generate{\file{turnstile.sty}{\from{turnstile-en.dtx}{package}}}
+
+\obeyspaces
+\Msg{*************************************************************}
+\Msg{* *}
+\Msg{* To finish the installation you have to move the following *}
+\Msg{* file into a directory searched by TeX: *}
+\Msg{* *}
+\Msg{* turnstile.sty *}
+\Msg{* *}
+\Msg{* To produce the documentation run the file turnstile-en.dtx *}
+\Msg{* through LaTeX. *}
+\Msg{* *}
+\Msg{* Happy TeXing! *}
+\Msg{* *}
+\Msg{*************************************************************}
+
+\endbatchfile
diff --git a/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.pdf b/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.pdf
new file mode 100644
index 0000000000..f5c36d573c
--- /dev/null
+++ b/macros/latex/contrib/turnstile/turnstile-en/turnstile-en.pdf
Binary files differ
diff --git a/macros/latex/contrib/turnstile/turnstile-en/turnstile_article.pdf b/macros/latex/contrib/turnstile/turnstile-en/turnstile_article.pdf
new file mode 100644
index 0000000000..3a49c5f391
--- /dev/null
+++ b/macros/latex/contrib/turnstile/turnstile-en/turnstile_article.pdf
Binary files differ
diff --git a/macros/latex/contrib/turnstile/turnstile-en/turnstile_article.tex b/macros/latex/contrib/turnstile/turnstile-en/turnstile_article.tex
new file mode 100644
index 0000000000..c823ade46f
--- /dev/null
+++ b/macros/latex/contrib/turnstile/turnstile-en/turnstile_article.tex
@@ -0,0 +1,258 @@
+\documentclass{pracjourn}
+
+%\usepackage{amsmath}
+\usepackage{turnstile}
+
+\TPJrevision{2007}{08}{18}
+\TPJissue{2007}{3}
+
+\title{A Tool for Logicians}
+
+\author{Arthur Buchsbaum and Francisco Reinaldo}
+\email{arthur@inf.ufsc.br, reinaldo.opus@gmail.com}
+
+\abstract{\textsf{turnstile} is a \LaTeX{} package that allows typesetting of the mathematical logic symbol, ``turnstile'', in all of the various ways it is used. This package was developed because there was no easy way in \LaTeX{} to typeset this symbol in its various forms, and place expressions above and below the crossbar.}
+
+\bibliographystyle{plain}
+
+\begin{document}
+
+\maketitle
+
+\section{Introduction}
+
+Logic is a science whose initial motivation was the analysis of correct reasoning. In recent years it has advanced beyond of the study of reasoning, and has many intersections with research areas such as Mathematics, Philosophy, Computer Science, Linguistics, Physics and Artificial Intelligence. One of the main signs used in Logic is the~turnstile sign, from which there are versions such as ``$\,\vdash$'' and ``$\,\models$'', issued respectively by the \LaTeX\ commands \begin{verb}=\vdash=\end{verb} and \begin{verb}=\models=\end{verb}
+
+\section{The turnstile Project} % (fold)
+\label{sec:turnstile_project}
+
+The turnstile\footnote{\url{http://tug.ctan.org/tex-archive/macros/latex/contrib/turnstile}} is a sign often used by logicians for denoting a consequence relation, related to a given logic, between a collection of formulas and a formula. Many logicians have complained that there is no easy method in \LaTeX\ to typeset turnstile signs. They occur in many forms, and must be able to have expressions placed correctly above and below them. \LaTeX\ commands such as \begin{verb}=\vdash=\end{verb} and \begin{verb}=\models=\end{verb} typeset the turnstile sign, but they are not capable of placing data below or above them in an acceptable way. For example, sometimes it is necessary to place the name of a considered logical system below the turnstile sign, and sometimes it is necessary to put additional information above it.
+
+\vspace{0.2em}
+
+If we want to say that a formula $P$ is a logical consequence of a collection $\Gamma$ of~formulas in a logic $\mathrm{L}$, we could try to typeset it by \begin{verbatim}\Gamma \vdash_\mathrm{L} P,\end{verbatim} giving $\Gamma \vdash_\mathrm{L} P$.
+
+\medskip
+
+Note that ``$\mathrm{L}$'' was not placed correctly with respect to the turnstile sign; it~should be placed and centred exactly below the sign. With \texttt{turnstile.sty} we can typeset it by \begin{verbatim}\Gamma \sststile{\mathrm{L}}{} P,\end{verbatim} giving $\Gamma \sststile{\mathrm{L}}{} P$.
+
+\medskip
+
+On the other hand, if we want to say that a formula $P$ is a logical semantical consequence of a collection $\Gamma$ of formulas in a logic $\mathrm{L}$, through varying of $x$ and~$y$\footnote{In \cite{BuchsbaumBeziau2004} and \cite{BuchsbaumPequeno1997} varying objects are presented.}, we could try to typeset it by \begin{verbatim}\Gamma \models_\mathrm{L}^{x,y} P,\end{verbatim} giving $\Gamma \models_\mathrm{L}^{x,y} P$.
+
+\medskip
+
+Note that both ``$\mathrm{L}$'' and ``$x,y$'' were not placed correctly with respect to turnstile sign; they should be placed and centered exactly below and above the sign. With \texttt{turnstile.sty} we can typeset it by \begin{verbatim}\Gamma \sdtstile{\mathrm{L}}{x,y} P,\end{verbatim} giving $\Gamma \sdtstile{\mathrm{L}}{x,y} P$.
+
+\medskip
+
+%%% LAC: Rei - it will take a super-logician to figure out the following paragraphs ;-)
+
+The commands provided by this style are all formed by the string ``tstile'' preceded by a string with two or three letters. These letters indicate the kind of~lines to be drawn successively; they can be ``n'', ``s'', ``d'', or ``t''. The~letter~``n'' says that the line is empty, the letter ``s'' that the line is single, the letter ``d'' that the line is double, and finally ``t'' indicates that the line is triple. The corresponding commands for the two-lettered strings provide the most common turnstile signs, in which there is not a second vertical line following the~horizontal line. The first letter of these strings indicates the kind of the vertical line and the second the kind of the horizontal line to be drawn after the vertical line. The three-lettered strings can contain any of the letters ``n'', ``s'', ``d'', and~``t'', with~the restriction that the last letter must not be ``n'', because the~case in which the third line is empty is already dealt with by the commands with two-lettered strings preceding ``tstile''. The first letter specifies the kind of the first vertical line, the~second the kind of the horizontal line, and the third letter the kind of the second vertical line.
+
+All these commands have three arguments, and the first one is optional.
+
+The first argument, which is optional, gives the size by which the internal expressions must be displayed: ``d'' for displayed formulas, ``t'' for text formulas, ``s'' for first subscript or superscript formulas, and ``ss'' for later subscript or superscript formulas. The default value is ``s''. The result of applying ``t'' or ``d'' is the same, except if there is a mathematical sign in the second or third argument issued in~distinct ways, depending on whether it is used in text math mode or displayed math mode.
+
+The second and third arguments provide the expressions to be placed below and above the turnstile sign respectively, where both these expressions are converted to the size specified by the first argument. On the other hand, if the~second or the third argument is empty, then nothing is put below or above the turnstile sign.
+
+\section{Examples} % (fold)
+\label{sec:examples}
+
+Some examples are shown below. For the sake of illustration, $\Gamma$ is a~given collection of formulas and $P$ is a logical formula. Of course, the signs ``$\Gamma$'' and ``$P$'' illustrate only one possible context in which the turnstile sign could appear.
+
+\begin{verbatim}
+\Gamma \sststile{}{} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile{}{} P \end{equation} \vspace{0.4em}
+
+\pagebreak
+
+\begin{verbatim}
+\Gamma \sststile{\mathrm{LPD}}{} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile{\mathrm{LPD}}{} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile{}{x,y} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile{}{x,y} P\end{equation} \vspace{0.4em}
+
+If the optional argument is not used, then the result is the same as if ``s'' was the optional argument:
+
+\begin{verbatim}
+\Gamma \sststile{\mathrm{LPD}}{x,y} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile{\mathrm{LPD}}{x,y} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile[d]{\mathrm{LPD}}{x,y} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile[t]{\mathrm{LPD}}{x,y} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile[t]{\mathrm{LPD}}{x,y} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile[d]{\mathrm{LPD}}{x,y} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile[s]{\mathrm{LPD}}{x,y} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile[s]{\mathrm{LPD}}{x,y} P\end{equation} \vspace{0.4em}
+
+\pagebreak
+
+\begin{verbatim}
+\Gamma \sststile[ss]{\mathrm{LPD}}{x,y} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile[ss]{\mathrm{LPD}}{x,y} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile{\mathrm{LPDEFGH}}{x,y} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile{\mathrm{LPDEFGH}}{x,y} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sdtstile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \sdtstile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \dststile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \dststile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \ddtstile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \ddtstile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\pagebreak
+
+\begin{verbatim}
+\Gamma \dttstile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \dttstile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \nsststile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \nsststile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \ndststile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \ndststile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \nsdtstile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation} \nsdtstile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \nddtstile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \nddtstile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \ndttstile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \ndttstile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\pagebreak
+
+\begin{verbatim}
+\Gamma \ssststile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \ssststile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+
+\begin{verbatim}
+\Gamma \stststile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \stststile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \stttstile{\mathrm{LC}}{x,y,z,w} P
+\end{verbatim}
+\begin{equation}\Gamma \stttstile{\mathrm{LC}}{x,y,z,w} P\end{equation} \vspace{0.4em}
+
+Below are some examples of mathematical expressions below and~above the turnstile sign which show how it changes depending on the optional argument. If no optional argument is given, then it is considered to be ``s''.
+
+The reader should also note that the vertical lines don't stretch according to~the~heights of the expressions located below and above the turnstile sign. Because logicians use this sign mainly in text mode, we feel that it should have a standard height.
+
+\begin{verbatim}
+\Gamma \sststile{\sum_0^\infty 1/2^n}{\int_a^b f} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile{\sum_0^\infty 1/2^n}{\int_a^b f} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile[d]{\sum_0^\infty 1/2^n}{\int_a^b f} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile[d]{\sum_0^\infty 1/2^n}{\int_a^b f} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile[t]{\sum_0^\infty 1/2^n}{\int_a^b f} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile[t]{\sum_0^\infty 1/2^n}{\int_a^b f} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile[s]{\sum_0^\infty 1/2^n}{\int_a^b f} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile[s]{\sum_0^\infty 1/2^n}{\int_a^b f} P\end{equation} \vspace{0.4em}
+
+\begin{verbatim}
+\Gamma \sststile[ss]{\sum_0^\infty 1/2^n}{\int_a^b f} P
+\end{verbatim}
+\begin{equation}\Gamma \sststile[ss]{\sum_0^\infty 1/2^n}{\int_a^b f} P\end{equation} \vspace{0.4em}
+
+\section{Conclusions} % (fold)
+\label{sec:conclusions}
+
+The package \texttt{turnstile.sty} seems to be adequate for typesetting the turnstile sign in~its many forms. It correctly places additional expressions below and above it, if necessary, and stretches the the crossbar width as much as needed to contain the expressions.
+
+For a future version of this package, we want to look at changing the height of the turnstile sign. This will take into account the heights of the~expressions above and below, similar to the way we currently allow for the widths of the expressions.
+
+\begin{thebibliography}{1}
+
+\bibitem{BuchsbaumBeziau2004}
+Arthur Buchsbaum and Jean-Yves B{\'e}ziau.
+\newblock Introduction of implication and~generalization in axiomatic calculi.
+\newblock In Jean-Yves B{\'e}ziau, Alexandre~Costa Leite, and Alberto Facchini,
+ editors, {\em Aspects of Universal Logic}, number~17 in~Travaux de Logique,
+ page 231. Centre de Recherches S{\'e}miologiques, \mbox{Universit{\'e}} de
+ Neuch{\^a}tel, December 2004.
+
+\bibitem{BuchsbaumPequeno1997}
+Arthur Buchsbaum and Tarcisio Pequeno.
+\newblock A general treatment for the deduction theorem in open calculi.
+\newblock {\em Logique et Analyse}, 157:9--29, January--March 1997.
+
+\bibitem{KopkaDaly1999}
+Helmut Kopka and Patrick~W. Daly.
+\newblock {\em A Guide to \LaTeX}.
+\newblock Addison-Wesley, 1999.
+
+\bibitem{Lamport1994}
+Leslie Lamport.
+\newblock {\em \LaTeX\ -- A Document Preparation System -- User's Guide and Reference Manual}.
+\newblock Addison-Wesley, 1994.
+
+\bibitem{NerodeShore1997}
+Anil Nerode and Richard~A. Shore.
+\newblock {\em Logic for Applications}.
+\newblock Springer, 1997.
+
+\bibitem{Nolt1996}
+John Nolt.
+\newblock {\em Logics}.
+\newblock Wadsworth, 1996.
+
+\end{thebibliography}
+
+\end{document}