Hallo zusammen,

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