TeX source:

h : {0, 1}^{n+t} → {0, 1}^n