TeX source:
1^x = 1