\[Not]

  • Unicode: 00AC.
  • 其他输入方式: !, not.
  • 具有内置计算规则的前缀运算符.
  • x 默认情况下解释为 Not[x]，等同于 !x.