TeX source:
20 - 15 = 5