TeX source:
25-20-5=0