TeX source:
|G|=p