Double Left Arrow Symbol

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

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 symbol.

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.

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.