\[Not]

  • Unicode: 00AC.
  • Aliases: !, not.
  • Prefix operator with builtin evaluation rules.
  • x is by default interpreted as Not[x], equivalent to !x.

See Also

\[RightTee]  \[And]  \[Or]

Tutorials

Introduced in 1996
(3.0)