\[Not]

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