DoubleRightArrow

DoubleRightArrow[x,y,]
displays as xy.

DetailsDetails

Introduced in 1996
(3.0)