TeXipedia

to

Represents a rightward-pointing arrow indicating a mapping, transformation, or logical implication in mathematical expressions.

Overview

Essential for expressing mathematical functions, mappings between sets, and logical implications across various mathematical disciplines.

  • Commonly used in function notation to show domain and codomain relationships (e.g., f: X \to Y)
  • Appears frequently in abstract algebra and category theory for morphisms
  • Used in logic to denote implications between statements
  • Found in limit notation to indicate approach to a value
  • Prevalent in set theory for describing transformations between sets

Examples

Showing a limit approaching a value

lim⁡x→0sin⁡(x)=0\lim_{x \to 0} \sin(x) = 0 
\lim_{x \to 0} \sin(x) = 0

Indicating a function mapping between sets

f:R→Rf: \mathbb{R} \to \mathbb{R} 
f: \mathbb{R} \to \mathbb{R}

Representing an implication in logic

P→QP \to Q 
P \to Q