TeX source:
a^n\neq 0