TeXipedia

looparrowright

Depicts a rightward-pointing arrow that curves back upon itself in a loop, commonly used in mathematical diagrams and abstract algebra.

Overview

Serves as a specialized mathematical arrow notation frequently encountered in advanced algebra, category theory, and theoretical computer science.

  • Often represents cyclic operations, recursive functions, or self-mapping relationships.
  • Particularly useful in commutative diagrams and when illustrating mathematical morphisms.
  • Appears in discussions of group theory, especially when describing elements that map back to themselves or cyclic group operations.

Examples

Representing a cyclic operation or transformation that maps elements to the right.

f:XXf: X \looparrowright X
f: X \looparrowright X

Indicating a recursive or repeating process in algorithmic notation.

xn+1xnx_{n+1} \looparrowright x_n
x_{n+1} \looparrowright x_n

Showing a circular dependency or feedback loop in a system.

ABCAA \looparrowright B \looparrowright C \looparrowright A
A \looparrowright B \looparrowright C \looparrowright A