Simbolo de barra con trinquete negado en LaTeX

Simbolo de barra con 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 trinquete negado en LaTeX \nVdash