TeX Quellcode:
a^n \geq 0