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