Implies
 Usage
 \[Implies]
Notes
• Alias:  =>. • 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 \[DoubleRightArrow] . • \[DoubleRightArrow] is extensible; \[Implies] is not. • See Section 1.10.4, Section 3.10.1, Section 3.10.4 and Section 3.10.4. • See also: \[RoundImplies] , \[SuchThat] , \[RightArrow] , \[Rule] .
| 
