~ is the ASCII symbol for logical negation (\lnot).