TeX source:
(4+7) / 2=5.5