 |
)
BUILT-IN MATHEMATICA SYMBOL
NotElement 
NotElement[x, dom]
or 
asserts that 
is not an element of the domain dom.
NotElement[x1|...|xn, dom]
asserts that none of the 
are elements of dom.
NotElement[patt, dom]
asserts that any expression matching the pattern patt is not an element of the domain dom.
Details
can be entered as 
Esc!elEsc dom or 
. - NotElement[x, dom] is equivalent to Not[Element[x, dom]].
- NotElement[x1|...|xn, dom] is equivalent to Not[Element[x1, dom]]&&...&&Not[Element[xn, dom]].
New in 6
