TeX source:

12^5