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 The Mathematica Book: Section 3.10.1, Section 3.10.4. See also: \[DoubleLongRightArrow], \[RightArrow], \[DoubleLeftArrow].
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT. SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
\[DoubleRightArrow]
