Doppelratchen-Symbol in Latex verweigert

Doppelratchen-Symbol in Latex verweigert

$$\nvDash$$
\nvDash
Um das Symbol \nvDash Sie benötigen die Bibliothek oder das Paket >> amssymb
Doppelratchen-Symbol in Latex verweigert \nvDash