TeX source:

x \rightarrow 5^+