How would you create the following relation symbol?
My current solution:
So far I've found a code which puts a letter on top of the \vdash
symbol. But it's not exactly what I want:
\documentclass{article}
\newcommand{\xvdash}[1]{%
\vdash^{\mkern-10mu\scriptscriptstyle\rule[-.9ex]{0pt}{0pt}#1}%
}
\begin{document}
\[
A \xvdash{W} x
\]
\end{document}
In the end it will look like this:
Are there better ways or packages to do this? How would you increase the size (mostly the width) of the \vdash
slightly? Or is there a way to draw a \vdash
-like symbol? How would you put a character on top and below? Is there a way to reduce the size of the character?