\vdash - Se utiliza para crear un símbolo vdash.
{ \vdash}
El comando \ vdash dibuja el símbolo vdash.
\vdash