TeX source:
5^1=5