TeX source:
25-12+3