TeX source:
5 = 9