Simbolo de trinquete negado en LaTeX

Simbolo de trinquete negado en LaTeX

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