\ Vvdash - Comando Tex

Vvdash

\Vvdash - Usado para criar o símbolo Vvdash.

SINOPSE

{ \Vvdash}

DESCRIÇÃO

O comando \ Vvdash desenha o símbolo Vvdash.

EXEMPLO

1. \Vvdash

   $ \ Vvdash $