Implies

Type it

Ways to write the Implies symbol
UnicodeU+21D2
LaTeX\Rightarrow
HTML entity⇒
Character⇒

Meaning

States that if the statement on the left is true, then the statement on the right is also true. Compare with If and Only If and Therefore.

How to read it

x = 2 ⇒ x² = 4

is read “x equals two implies x squared equals four”.

More Logic symbols