Source TeX:
0.5\rightarrow 0