How to get vdash with number in Latex

Question

i need to get this in Latex, I saw only the vdash command but I can´t put a number o variable on top :

Thanks for your support!

egreg · Accepted Answer

You're lucky! There's the turnstile package:

documentclass{article}
usepackage{turnstile}

begin{document}

$Gammasststile{}{k}P$

end{document}

You find the documentation with texdoc turnstile_article or, online,
http://texdoc.net/texmf-dist/doc/latex/turnstile/turnstile_article.pdf
Or you can use https://tex.stackexchange.com/a/29091/4427

How to get vdash with number in Latex

One Answer

Add your own answers!

Ask a Question