TeX source:
W_{k, r+1, o} \geq W_{k, r, d} ; \quad \forall k \in K