Simbolo de barra con trinquete en LaTeX

Simbolo de barra con trinquete en LaTeX

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