TeX source:
\begin{array}{rclcl}a_1 = \sqrt{x} &=& 3 &\vert& ()^2 \\x_1 &=& 9 \\\\a_1 = \sqrt{x} &=& 2 &\vert& ()^2 \\x_2 &=& 4 \end{array}