TeX Quellcode:
\begin{array}{rclcl} 4k &>& 0 &\vert & :4 \\k &>& 0 \end{array}