TeX source:
= H(2.5)