TeX source:
a ∈ G