TeX source:
2.5 \rightarrow 2