TeX source:

x \rightarrow a^{+}