将字母置于 vdash 之上

Question

我遇到了以下问题：

我想将字母“W”设置在“\vdash”之上，如下所示：

我尝试使用 \atop、\stackrel 和 \above 来获得此结果，但没有得到想要的结果。所有这些都将 W 完全置于 vdash 之上：

我怎样才能获得第一个结果？

PS：这是一个示例文件：

\documentclass{article}
\begin{document}
$A \stackrel{W}{\vdash} x$
\end{document} 

Answer 1

\documentclass{article}
\usepackage{stackengine}
\newcommand\letvdash[1]{\mathrel{
  \stackengine{1ex}{\vdash}{\;\;\scriptscriptstyle#1}{O}{c}{F}{T}{L}}}
\stackMath
\begin{document}
\( A\letvdash{W} x \)
\end{document}

Answer 2

您可以尝试这个：

\documentclass{article}
\newcommand{\xvdash}[1]{%
  \vdash^{\mkern-10mu\scriptscriptstyle\rule[-.9ex]{0pt}{0pt}#1}%
}

\begin{document}
\[
A \xvdash{W} x
\]
\end{document}

如果您需要的只是大写字母和正常大小（无下标或上标），那么这可行；否则需要更复杂的方法。