Definition:Negation Function/Complex

Definition
The negation function $h: \R \to \R$ is defined on the set of complex numbers as:
 * $\forall z = x + i y \in \C: \map h z = -x - i y$