A dashed horizontal arrow symbol representing weak convergence or partial mappings in analysis and category theory.
Examples
Weak convergence notation in functional analysis
x_n \dashrightarrow x \text{ as } n \to \infty
Partial or incomplete mapping
f: A \dashrightarrow B
Dashed implication in logic
P(x) \dashrightarrow Q(x) \text{ indicates weak implication}