TeX source:
x \rightarrow a^