TeX source:
∃h ∈ H