TeX source:

7 \div 0.02