TeX source:
1 = 9