TeX source:
k \in\{0,1\}^{\lambda}