RoundImplies
 Usage
 \[RoundImplies]
Notes
• 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] .
| 
