TeX Quellcode:
a^n\neq 0