TeX source:

9.55-5.8=?