¬ \[Not]
• Aliases: !, not.
• Prefix operator with built-in evaluation rules.
• x is by default interpreted as Not[x], equivalent to !x.
• See Section 3.10.4.
• See also: \[RightTee] , \[And] , \[Or] .
Usage
Notes
!, not. 
x is by default interpreted as Not[x], equivalent to !x. 
