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