Double symbole a cliquet refuse en latex

Double symbole a cliquet refuse en latex

$$\nvDash$$
\nvDash
Pour pouvoir utiliser le \nvDash vous devez avoir la bibliothèque ou le paquet >> amssymb
Double symbole a cliquet refuse en latex \nvDash