TeX source:
1^\infty