|
SuchThat
\[SuchThat]
Alias: st .
Infix operator.
x y is by default interpreted as SuchThat[x, y].
x y z groups as x (y z).
Not the same as \[ReverseElement].
See The Mathematica Book: Section 3.10.4.
See also: \[Exists] , \[ForAll] , \[Colon] , \[VerticalBar] .
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT. SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION. | |