TeX source:
1^{8}=1