TeX source:
5-0.2=4.8