TeX source:
2.5=5 / 2