A wavy arrow symbol representing convergence, transformation, or "leads to" relationships in mathematical proofs and logic.
Examples
Reduction or transformation in algorithms
P \leadsto Q \text{ (P reduces to Q)}
Indicating convergence or evolution
x_n \leadsto x_\infty \text{ as } n \to \infty
Showing state transitions
s_1 \leadsto s_2 \leadsto s_3