TeX source:
25-20=5