⇒

Rightwards Double Arrow

U+21D2

Quick Reference

About Rightwards Double Arrow

The rightwards double arrow represents logical implication: 'if... then...'.

Used in logic and mathematics for implication (P ⇒ Q means 'if P then Q'). Also used in programming documentation and proofs.