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