Nicht negiertes nVDash

[nameac]

Hallo zusammen,

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

[rais]

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