TeXipedia

rightsquigarrow

Represents a rightward-pointing squiggly arrow indicating a non-direct relationship, transformation, or informal implication.

Overview

Commonly employed in mathematical proofs, computer science, and formal logic to denote special types of mappings or transformations where a direct arrow might be too strong.

  • Often used to show weak convergence in probability theory and statistics
  • Appears in category theory to indicate natural transformations
  • Useful in showing informal reasoning steps or heuristic implications
  • Popular in algorithm analysis to demonstrate approximate or non-deterministic transitions

Examples

Indicating a transformation or mapping between mathematical objects.

f:X⇝Yf: X \rightsquigarrow Y 
f: X \rightsquigarrow Y

Showing convergence or progression in a sequence.

xn⇝x∞ as n→∞x_n \rightsquigarrow x_{\infty} \text{ as } n \to \infty 
x_n \rightsquigarrow x_{\infty} \text{ as } n \to \infty

Representing a state transition in a dynamic system.

A⇝B⇝CA \rightsquigarrow B \rightsquigarrow C 
A \rightsquigarrow B \rightsquigarrow C