Here is some LaTeX fragment, which requires importing amsmath
and amssymb
:
\begin{alignat}{2}
& \forall \left\{i_1, i_2\right\} \in \binom{\left\{1, \ldots, t\right\}}{2}: \mathcal{U}\left(s_{i_1}, b_{i_1}\right) \cap \mathcal{U}\left(s_{i_2}, b_{i_2}\right) = \emptyset \nonumber \\
\Leftrightarrow & \forall \left(\left(i_1, j_1\right), \left(i_2, j_2\right)\right) \in \mathcal{I}:
\left(a_{i_2} z_{i_2} + \sigma_{s_{i_2}, j_2}\right) -
\left(a_{i_1} z_{i_1} + \sigma_{s_{i_1}, j_1} + m_{j_1}\right) && \geq 0
\nonumber \\
& \vee
\left(a_{i_1} z_{i_1} + \sigma_{s_{i_1}, j_1}\right) -
\left(a_{i_2} z_{i_2} + \sigma_{s_{i_2}, j_2} + m_{j_2}\right) && \geq 0. \label{eq:disj}
\end{alignat}
Here is how the result looks like (the number of the equation is (7) instead of (1) since it is a screenshot from a document that contains some more text and formulas).
And here is how I wished that it looked like (first half of the last inequality right-aligned instead of left-aligned):
So the question is obvious: How does not need to change the source code to get the desired result?