TeX source:
\begin{array}{rclll} 3(x-4) &\neq & 0 &\vert & :3 \\x-4 &\neq & 0 &\vert & +4 \\x & \neq & 4\\\\\end{array}