negation
Symbol \neg -- flips a proposition's truth value.
The negation of p, written \neg p, is true exactly when p is false.
See also
Point table
Graph settings
Calculator