Documentation Publicon Reference Special 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 also: \[Implies] , \[SuchThat] , \[RightArrow] , \[Rule] .
\[RoundImplies]
y is by default interpreted as Implies[x, y]. 
y 
z groups as x 
(y 
z). 