TeX source:
1^n\to 1