我需要在 Latex 中获取它，我只看到 \vdash 命令，但我无法将数字变量放在顶部：
感谢您的支持！
答案1
你真幸运！以下是turnstile包裹：
\documentclass{article}
\usepackage{turnstile}
\begin{document}
$\Gamma\sststile{}{k}P$
\end{document}
texdoc turnstile_article您可以通过以下方式查找文档：
http://texdoc.net/texmf-dist/doc/latex/turnstile/turnstile_article.pdf