TeX source:
2.51-7.4=-4.89