TeX source:
(80)+ 4= 84