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