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