TeX source:
8-6.39=?