TeX source:

7 = 9