TeX source:
g^m=(g^k)^q ∈