Documentation Publicon Reference Special Characters
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 also: \[Exists] , \[ForAll] , \[Colon] , \[VerticalBar] .
\[SuchThat]
st
y is by default interpreted as SuchThat[x, y]. 
y 
z groups as x 
(y 
z). 