TeX source:
20รท5