SuchThat
\[SuchThat]
Alias: st. Infix-Operator. x y wird vorgabemäßig als SuchThat[x, y] interpretiert. x y z wird als x (y z) gruppiert. Nicht dasselbe wie \[ReverseElement]. Siehe Das Mathematica Buch: 3.10.4. Siehe auch: \[Exists], \[ForAll], \[Colon], \[VerticalBar].
![\[SucceedsTilde]](/images/prev-sml_de.gif){kind=small}
![\[Sum]](/images/next-sml_de.gif){kind=small}
\[SuchThat]
Alias: 
st
y wird vorgabemäßig als SuchThat[x, y] interpretiert. 
y 
z wird als x 
(y 
z) gruppiert. 
