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