TeX source:
(0.2)(4)=0.8