Complex exponentiation (source code)

= Complex exponentiation

This extends real <exponentiation>.

For nonzero complex $z$ and complex $w$, the multivalued power is
$$
z^w=\left\{\exp\!\left(w(\log|z|+i(\arg z+2\pi k))\right):k\in\mathbb Z\right\}.
$$