A directional accent placing a left-pointing arrow beneath text, commonly used in category theory and algebraic mappings.
Examples
Inverse limit notation in algebra
\underleftarrow{\lim} A_n
Directed vector with left arrow underneath
\underleftarrow{AB} = -\underrightarrow{BA}
Reverse mapping in category theory
F: \underleftarrow{X_i} \to Y