TeX source:
8 = 9