\begin{definition}[Definition:Inverse Fourier Transform/Real Function/Formulation 1]
Let $F: \R \to \R$ be a real function which is Lebesgue integrable.
The '''inverse Fourier transform''' of $F$ is defined and denoted as:
:$\ds \map \FF {\map F s} := \map f t = \int_{-\infty}^\infty e^{2 \pi i t s} \map F s \rd s$
\end{definition}