TeX source:

H ≤