The standard real gaussian density function is the D4364: Real function \begin{equation} \mathbb{R} \to \mathbb{R}, \quad x \mapsto (2 \pi)^{- 1/2} e^{- x^2 / 2} \end{equation}