TeXipedia

rArr

Represents a double-lined rightward arrow, commonly used to indicate implications, mappings, or directional relationships.

Overview

Serves as a more emphatic alternative to the single arrow, particularly useful in mathematical proofs, logical statements, and formal definitions.

  • Frequently used in set theory to show mappings between sets
  • Common in mathematical logic to denote logical implications
  • Appears in computer science for representing transformations or state transitions
  • Often employed in formal mathematics to indicate stronger relationships than a single arrow

Examples

Logical implication in a mathematical statement

P(x)⇒Q(x)P(x) \rArr Q(x) 
P(x) \rArr Q(x)

Showing a sequence of transformations or steps

x+2=5⇒x=3x + 2 = 5 \rArr x = 3 
x + 2 = 5 \rArr x = 3

Indicating a mapping or function relationship

f:X⇒Yf: X \rArr Y 
f: X \rArr Y