TeX source:
3 x \rightarrow+6