TeX source:

\begin{aligned}x-7&\neq 0\\\\x&\neq 7\end{aligned}