TeX source:
34-25=9