TeX source:
g^m, g^{qk} ∈ H