TeX source:
2 \div 13