TeX source:
a^k = e, k ∈ Z