TeX source:
x \rightarrow