TeX source:
\Lleftarrow