TeX-källa:
gH \cup Id H = G.