TeX source:
g^k ∈ H, < g^k >≤H