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