Difference of Complex Number with Conjugate

Theorem
Let $z \in \C$ be a complex number.

Let $\overline z$ be the complex conjugate of $z$.

Let $\map \Im z$ be the imaginary part of $z$.

Then
 * $z - \overline z = 2 i \, \map \Im z$

Proof
Let $z = x + i y$.

Then:

Also defined as
This result is also reported as:
 * $\map \Im z = \dfrac {z - \overline z} {2 i}$