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