LatexAI
Back to Symbols
\Rarr

Rightwards double arrow, often used to denote implication or mapping in mathematics.

Examples

Logical implication where A implies B.

A \Rarr B

Function mapping from set X to set Y.

f: X \Rarr Y

If x is an element of A, then x is also an element of B.

x \in A \Rarr x \in B