TeX source:
b=g^n, m, n ∈ Z