TeX Quellcode:

\begin{array}{rclll} -y+13 &\neq& 0 &\vert& +y \\13 &\neq& y\end{array}