TeX source:

9.57-9.5=?