TeX source:
0.8 \div 4=0.2