Let $z \in \mathbb{C}$ be a D1207: Complex number.

Then \begin{equation} \exp(\overline{z}) = \overline{\exp(z)} \end{equation}