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

\[SucceedsTilde]\[Sum]

SuchThat

SuchThat \[SuchThat]

FilledSmallSquare Alias: AliasIndicatorstAliasIndicator.

FilledSmallSquare Infix operator.

FilledSmallSquarex y is by default interpreted as SuchThat[x, y].

FilledSmallSquarex y z groups as x (y z).

FilledSmallSquare Not the same as \[ReverseElement].

FilledSmallSquare See The Mathematica Book: Section 3.10.4.

FilledSmallSquare See also: \[Exists] , \[ForAll] , \[Colon] , \[VerticalBar] .

\[SucceedsTilde]\[Sum]