Turnstiles in LaTeX

The new LaTeX package turnstile lets you make fancy turnstile characters and put labels above and below the line (e.g., \vdash^x_L, but the right way).

HT: The Academic Geek (aka Kai von Fintel)

3 thoughts on “Turnstiles in LaTeX

  1. The height and depth of the turnstile symbol are wrong. The symbol is too tall and too deep, and does not adjust to the size of the surrounding text.

  2. I am one of the authors of turnstile package for LaTeX. The turnstile package was done for designing in many ways this symbol, and to put labels above and below it, in the correct places. The possible drawings of this symbol obtained by this package are greater than the results issued by the LaTeX commands “\vdash” and “\models”, in order to allow to place labels above and below it in sizes not to much small. The surrounding text can be adjusted using adequate LaTeX commands. The size of the labels can also be ajusted using optional parameters. A brief tutorial about this package is in the site http://www.ctan.org/macros/latex/contrib/turnstile. Yours,Arthur BuchsbaumDepartment of Informatics and StatisticsFederal University of Santa Catarina

  3. I remember also that the final size of turnstile symbol can be changed by modifying the lengths associated to internal parameters of this package. For more details see the concerned documentation in turnstile.dtx.Yours,Arthur BuchsbaumDepartment of Informatics and StatisticsFederal University of Santa Catarina

Leave a Reply to Arthur Buchsbaum Cancel reply

Your email address will not be published. Required fields are marked *