SuchThat
 Usage
 \[SuchThat]
Notes
• 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 Section 3.10.4. • See also: \[Exists] , \[ForAll] , \[Colon] , \[VerticalBar] .
| 
