\nvDash - Usado para criar o símbolo nvDash.
{ \nvDash}
O comando \ nvDash desenha o símbolo nvDash.
\nvDash