TeX source:
P_X Q_X + P_Y Q_Y \leq B