DoubleLongRightArrow
\[DoubleLongRightArrow]
Alias: ==>. Infix arrow operator. x y is by default interpreted as DoubleLongRightArrow[x, y]. See The Mathematica Book: Section 3.10.4. See also: \[DoubleRightArrow] , \[LongRightArrow] , \[DoubleLongLeftArrow] .