DocumentationMathematicaThe Mathematica BookMathematica Reference GuideListing of Named Characters
RoundImplies
\[RoundImplies]
Infix operator with built-in evaluation rules. x y is by default interpreted as Implies[x, y]. x y z groups as x (y z). Not the same as \[Superset]. See Section 3.10.4 and Section 3.10.4. See also: \[Implies] , \[SuchThat] , \[RightArrow] , \[Rule] .
\[RoundImplies]
Infix operator with built-in evaluation rules. 
y is by default interpreted as Implies[x, y]. 
y 
z groups as x 
(y 
z). 
![[ja]](/common/images2003/lang_bottom_ja.gif)