TeX source:
h:{0,1}^* → {0,1}^n