Simbolo de doble trinquete negado en LaTeX

Simbolo de doble trinquete negado en LaTeX

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