TeX source:

4 = 9