Not 
- Not[expr]は，¬expr のように，StandardFormやInputFormで入力できる．記号
はEsc!Esc，EscnotEscあるいは
として入力できる． »
- Notは，さまざまな簡約化の規則を適用し必要に応じて記号的な結果を与える．
- テキストベースのフロントエンドで Mathematica を使う際，!expr が行の先頭に置かれる場合は式!expr をNot[expr]の代りに使うことはできない．この場合，!expr はシェルエスケープと解釈されるためである． »
アサーションを否定する：
| Out[1]= |  |
記号的否定：
| Out[1]= |  |
EscnotEscを使って入力：
| Out[1]= |  |
バージョン 1 の新機能 | バージョン 3 での修正機能
