Turnstiles) are symbols used often in logic and related fields. LaTeX typically makes available a rudimentary set of such symbols: \vdash and \models. Now, there is a new package called “turnstile” with much more fine-grained control over the type-setting of turnstile symbols.