Where does “ℍ” come from?