\begin{definition}[Definition:Fresnel Cosine Integral Function]
The '''Fresnel cosine integral function''' is the real function $\R \to \R$ defined by: 
:$\ds \map {\operatorname C} x = \sqrt {\frac 2 \pi} \int_0^x \cos u^2 \rd u$
\end{definition}