Nicht negiertes nVDash

Hallo zusammen,

gibt es ein Symbol wie \models mit zwei vertikalen Strichen so wie \nVDash nur das es nicht negiert sein soll?

Zitat:

---

Zitat von nameac

gibt es ein Symbol wie \models mit zwei vertikalen Strichen so wie \nVDash nur das es nicht negiert sein soll?

---

läuft nicht beides aufs selbe Symbol hinaus?
Schau unter `texdoc symbols-a4' nach \VDash

MfG