Not
¬ \[Not]
Alias-Formen: !, not. Präfix-Operator mit eingebauten Evaluierungsregeln. x wird vorgabemäßig als Not[x] interpretiert und ist äquivalent zu !x. Siehe Das Mathematica Buch: 3.10.4. Siehe auch: \[RightTee], \[And], \[Or].