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