TeX source:

H≠{e}