\begin{definition}[Definition:Hyperbolic Cosine]
The '''hyperbolic cosine''' function is defined on the complex numbers as:
:$\cosh: \C \to \C$:
:$\forall z \in \C: \cosh z := \dfrac {e^z + e^{-z} } 2$
\end{definition}