Let $z = (x, y) \in \mathbb{C}$ be a D1207: Complex number.
Let $w \mapsto \overline{w}$ be the D734: Complex conjugation operation.

Then \begin{equation} \overline{\overline{z}} = z \end{equation}