# Logarithm

The (single-valued) logarithm $\log \colon \mathbb{C} \setminus (-\infty,0] \rightarrow \mathbb{C}$ defined by the formula $$\log(z) = \displaystyle\int_1^z \dfrac{1}{t} \mathrm{d}t,$$ where we understand the integral $\displaystyle\int_1^z$ as a contour integral over a path from $1$ to $z$ that does not intersect the set $(-\infty,0] \subset \mathbb{C}$.