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