Double Left Arrow Symbol

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

Usage

In math, the reverse implies symbol is used to denote logical implication in the reverse direction. Typically it is used in an expression like this:

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

Related

long left double arrow

Long left double arrow symbol.

Double Right Arrow

The implies symbol is used in math to represent a logical implication. It signifies that if the first statement is true, then the second statement must also be true.

left arrow

The symbol of an arrow pointing to the left.

logical and

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

logical or

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.