TeX source:
3 = 9