TeX source:
1+0.5=1.5