TeX source:
f:{0,1}^b \times {0,1}^n → {0,1}^n