TeX source:
8.43-2.6=?