TeX source:
0.8 \div 0.2=4