TeXipedia

Rarr

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

Overview

Serves as a versatile mathematical and logical notation symbol, particularly valuable in set theory, function mappings, and logical proofs.

  • Frequently used in mathematical definitions and theorems to show mappings between sets
  • Common in computer science for indicating transformations or state changes
  • Appears in formal logic to represent implications or consequences
  • Often employed in algorithm descriptions and flowcharts to show process flow

Examples

Showing logical implication in a mathematical statement

p∧q⇒rp \land q \Rarr r 
p \land q \Rarr r

Indicating a mapping or transformation between spaces

f:X⇒Yf: X \Rarr Y 
f: X \Rarr Y

Representing a sequence convergence or limit

xn⇒x as n→∞x_n \Rarr x \text{ as } n \to \infty 
x_n \Rarr x \text{ as } n \to \infty