Simbolo de doble trinquete en LaTeX

Simbolo de doble trinquete en LaTeX

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