TeX source:
x \in\{0,1\}^{\text {blen }}