RIGHTWARDS DOUBLE ARROW

About this character

The rightwards double arrow (⇒), Unicode U+21D2, is the canonical symbol for logical implication, expressing the conditional "if P, then Q" in formal logic and mathematics. Its double-stroke form distinguishes it from the single arrow (→), a distinction solidified in early twentieth-century mathematical notation, particularly through the works of Whitehead and Russell. In programming, it appears prominently as the fat arrow (=>) in JavaScript arrow functions and PHP or as a type constraint symbol in Haskell, though Unicode distinguishes these encoding variants. In writing and typography, it conveys causal or inferential relationships, while in design and diagrams, it indicates directional flow or progression. Its precision makes it indispensable across technical documentation, proofs, and interface notation.

Copy formats

Character

Copy the literal character when you need the glyph itself:⇒