| Symbol | Format | Data |
|---|---|---|
| ⇒ | Code Point |
U+21D2 |
| TeX |
\Rightarrow |
|
| SVG |
In math, the implies symbol is used to denote logical implication. Typically it is used in an expression like this:
In plain language, this means that if is true, then must necessarily be true.
The symbol of an arrow pointing to the right.
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 reverse implies symbol is used in math to represent a logical implication in the reverse direction. It signifies that if the second statement is true, then the first statement must also be true.
The left right double arrow is used in math to represent an if-and-only-if statement.
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.