\[Not]

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