TeX source:
T:\{0,1\}^{\text {in }} \rightarrow\{0,1\}^{\text {out }}