RuleDelayed
Usage
:> \[RuleDelayed]
Notes
• Alias: :> . • Infix operator with built-in evaluation rules. • x y is by default interpreted as x :> y or RuleDelayed[x, y]. • x y z groups as x (y z). • See Section 3.10.4. • See also: \[Rule] , \[Colon] , \[RightArrow] .
|