TeX source:
a^n \geq 0