TeX Quellcode:
\begin{array}{rclll} x+3 &\neq& 0 &\vert& -3 \\x &\neq& -3\end{array}