\[Not]

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