Implied By

Type it

Ways to write the Implied By symbol
UnicodeU+21D0
LaTeX\Leftarrow
HTML entity⇐
Character⇐

Meaning

States that the statement on the right implies the statement on the left. It often marks the converse direction of an if-and-only-if proof. Compare with Implies and If and Only If.

How to read it

x² = 4 ⇐ x = 2

is read “x squared equals four is implied by x equals two”.

More Logic symbols