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)