TeX source:
6 = 9