TeX source:
x \rightarrow a^{-}