\xrightarrow[under]{over}
Extensible arrows are used in mathematical notation to represent mappings, transformations, or transitions from one state or element to another. The command \xrightarrow[under]{over} creates a right-pointing arrow with optional text above and below it, allowing for more descriptive annotations in mathematical expressions.
A function f mapping set A to set B.
A \xrightarrow{f} B
x approaches y as n tends to infinity.
x \xrightarrow{n \to \infty} y
Chemical reaction indicating water decomposing into hydrogen and oxygen with heat.
H_2O \xrightarrow[\Delta]{heat} H_2 + O_2