TeX source:
Y_{j}^{k} \in\{0,1\} \quad \forall_{j} \in J, \forall_{k} \in K