TeX source:
\begin{array}{rclcll}4x-8 &\neq & 0 &\vert & +8 \\4x &\neq & 8 &\vert & :4\\x &\neq & 2\end{array}