DoubleLongRightArrow
Usage
\[DoubleLongRightArrow]
Notes
• Alias:  > . • Infix arrow operator. • x y is by default interpreted as DoubleLongRightArrow[x, y]. • See Section 3.10.4. • See also: \[DoubleRightArrow] , \[LongRightArrow] , \[DoubleLongLeftArrow] .
|