TeX source:
9 = 9