TeX source:
1 = x