This is documentation for Mathematica 7, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

DoubleLeftArrow (DoubleLeftArrow)

DoubleLeftArrow[x, y, ...]
displays as x⇐y⇐....
New in 6