TeX source:
a^k, (a^k)^j ∈