TeX source:
(0.25)(7-5)+5=5.5