Double symbole a cliquet en latex

Double symbole a cliquet en latex

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