TeX source:
7^1