Rayleigh-normal scale mixture
= Rayleigh-normal scale mixture
{c}
{title2=$RZ\sim\operatorname{Laplace}(0,1)$}
An independent unit-scale <Rayleigh distribution> variable $R$ and <standard normal distribution> variable $Z$ give $RZ$ with <Laplace distribution> of density $e^{-|x|}/2$. Indeed its <characteristic function> is $\mathbb E e^{-t^2R^2/2}=1/(1+t^2)$.