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