\[Not]

  • Unicode: 00AC.
  • エイリアス：!，not
  • 評価規則組込みの前置形演算子．
  • xはデフォルトでNot[x]として解釈され，!xに等しい．