ThmDex – An index of mathematical definitions, results, and conjectures.
P3227
By definition, $\overline{z} = \overline{(x, y)} = (x, - y)$. Thus \begin{equation} \overline{\overline{z}} = \overline{\overline{(x, y)}} = \overline{(x, - y)} = (x, y) \end{equation} $\square$