TeX source:

H≤G