DoubleRightArrow

\[DoubleRightArrow]

Alias: =>.

Infix arrow operator.

x y is by default interpreted as DoubleRightArrow[x, y].

Used in mathematics to indicate various strong forms of convergence.

Also used to indicate algebraic field extensions.

Not the same as \[Implies].

Extensible character.

See Section 3.10.1 and Section 3.10.4.

See also: \[DoubleLongRightArrow] , \[RightArrow] , \[DoubleLeftArrow] .