Documentation Publicon Reference Special Characters
Not
¬ \[Not]
• Aliases: !, not. • Prefix operator with built-in evaluation rules. • x is by default interpreted as Not[x], equivalent to !x.• See also: \[RightTee] , \[And] , \[Or] .
!
x is by default interpreted as Not[x], equivalent to !x.