TeX source:
15รท3=5