TeX source:

4 \div 5