TeX source:

h : {0, 1}^{48} → {0, 1}^{32}