TeX source:

\begin{array}{cl} 6 \geq x-1 \\ 6+1 \geq x-1+1 & \qquad \text{Add 1 to both sides.}\\ 7 \geq x \end{array}