 |
)NotElement 
NotElement[x, dom]
あるいは 
は，
が領域 dom の要素ではないと宣言する．
NotElement[x1|...|xn, dom]
には dom の要素が含まれないと宣言する．
NotElement[patt, dom]
パターン patt とマッチするいずれの式も領域 dom の要素ではないと宣言する．
詳細
は 
Esc!elEsc dom または 
として入力できる．- NotElement[x, dom]はNot[Element[x, dom]に等しい．
- NotElement[x1|...|xn, dom]はNot[Element[x1, dom]]&&...&&Not[Element[xn, dom]]に等しい．
バージョン 6 の新機能
