Double Left Arrow Symbol

Symbol Format Data
Code Point
U+21D0
TeX
\Leftarrow
TeX
\Larr
SVG

Usage

The double left arrow symbol is used in math for the “implied by” statement. It is used as a shorter alternative to ⟸ (long left double arrow), which is the official symbol for the “implied by” statement. Typically it is used in an expression like this:

In plain language, this means that if is true, then must necessarily be true.

Related

The long left double arrow symbol is used in math to represent the "implied by" statement.

The symbol of a double arrow pointing to the right.

The symbol of an arrow pointing to the left.

The logical-and symbol is used in math as a logical operator.

The logical or symbol is used in logic and mathematics to denote the logical disjunction operation. It's true if at least one of the operands is true.