TeX source:
20 / 5=4