⇐

Left Double Arrow

Unicode
U+21D0
Category
Arrows
Symbol Sets
Arrows
HTML Entity
⇐
CSS
\21D0
The Left Double Arrow symbol (⇐) features two parallel horizontal lines converging into an arrowhead pointing left. In mathematics and formal logic, it often denotes a converse implication, meaning "is implied by" or "if." In digital typography and user interfaces, it frequently serves as a stylized "back" or "return" indicator.

How to Type

Windows
In Word: type 21D0, then press Alt + X. Other apps have no standard Windows shortcut for it — copy it from this page
macOS
Control+Command+Space then search
Linux
Compose + = + <
HTML
&lArr; or &#8656;

In Programming

In computer science and discrete mathematics, this symbol frequently represents logical implication ("is implied by") in proofs and algorithms. It also appears in academic pseudocode to denote variable assignment.

Read full meaning article

Tags

arrow back arrow converse implication direction double if symbol implies is implied by left left double arrow leftwards double arrow logical implies return arrow ui back symbol unicode double arrow

Related Symbols

← Left Arrow ↑ Up Arrow → Right Arrow ↓ Down Arrow ↔ Left Right Arrow ↕ Up Down Arrow ↖ North West Arrow ↗ North East Arrow ↘ South East Arrow ↙ South West Arrow ↞ Left Two Headed Arrow ↠ Right Two Headed Arrow