This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

FunctionExpand (modified)Integers

Element

FilledSmallSquareElement[x, dom] or asserts that x is an element of the domain dom.

FilledSmallSquareElement[, , ... , dom] asserts that all the are elements of dom.

FilledSmallSquareElement[patt, dom] asserts that any expression matching the pattern patt is an element of dom.

FilledSmallSquare can be entered as x AliasIndicatorelemAliasIndicator dom or x \[Element] dom.

FilledSmallSquareElement can be used to set up assumptions in Simplify and related functions.

FilledSmallSquare Possible domains are:

FilledSmallSquare if possible evaluates immediately when x is numeric.

FilledSmallSquare Examples: Pi Algebraics LongRightArrow; Pi Reals LongRightArrow.

FilledSmallSquare( | | ... ) dom is equivalent to , , ... dom.

FilledSmallSquare, , ... dom evaluates to ( | | ... ) dom if its truth or falsity cannot immediately be determined.

FilledSmallSquare See The Mathematica Book: Section 1.4.6 and Section 3.3.10.

FilledSmallSquare See also: Simplify, MemberQ, IntegerQ, Assumptions, Condition, PatternTest, Equal, Less, NotElement.

Further Examples

FunctionExpand (modified)Integers