TeX source:
6.4 = x - 63