The exponential density function with parameter $\theta > 0$ is the D4367: Unsigned real function \begin{equation} \mathbb{R} \to [0, \infty), \quad x \mapsto \theta e^{- \theta x} I_{x \geq 0} \end{equation}