Simbolo de barra doble con trinquete en LaTeX

Simbolo de barra doble con trinquete en LaTeX

$$\Vvdash$$
\Vvdash
Para poder utilizar el simbolo \Vvdash necesitas tener instalada la librería o paquete >> amssymb
Simbolo de barra doble con trinquete en LaTeX \Vvdash