TeX source:
a, b ∈ G