TeX source:
7.26-3=?