TeX source:
\xrightarrow\alpha