TeX source:
a^x > 1