RoundImplies
\[RoundImplies]
Infix-Operator mit eingebauten Evaluierungsregeln. x y wird vorgabemäßig als Implies[x, y] interpretiert. x y z wird als x (y z) gruppiert. Nicht dasselbe wie \[Superset]. Siehe Das Mathematica Buch: 3.10.4 und 3.10.4. Siehe auch: \[Implies], \[SuchThat], \[RightArrow], \[Rule].
![\[RightVectorBar]](/images/prev-sml_de.gif){kind=small}
![\[RoundSpaceIndicator]](/images/next-sml_de.gif){kind=small}
\[RoundImplies]
Infix-Operator mit eingebauten Evaluierungsregeln. 
y wird vorgabemäßig als Implies[x, y] interpretiert. 
y 
z wird als x 
(y 
z) gruppiert. 
