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