Simbolo de barra con doble trinquete negado en LaTeX

Simbolo de barra con doble trinquete negado en LaTeX

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