TeX source:
0.50+0.25=0.75