| Symbol | Format | Data |
|---|---|---|
| ⇒ | Code Point |
U+21D2 |
| TeX |
\Rightarrow |
|
| SVG |
The double right arrow symbol is used in math for logical implication. It is used as a shorter alternative to ⟹ (long right double arrow), which is the official symbol for the “implies” statement. Typically it is used in an expression like this:
In plain language, this means that if is true, then must necessarily be true.
The long right double arrow symbol is used in math to represent the "implies" statement.
The symbol of an arrow pointing to the right.
The symbol of a double arrow pointing to the left.
The symbol of a double arrow pointing both left and right.
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.