\begin{definition}[Definition:Dottie Number]
The '''Dottie number''' $\d$ is defined as the unique fixed point of the cosine function:
:$\cos \rd = \d$
Its approximate value is given by:
:$\d \approx 0 \cdotp 73908 \, 51332 \, 15160 \, 64165 \, 53120 \, 87673 \ldots$
{{OEIS|A003957}}
\end{definition}