Let $G \in \text{Gaussian}(0, \sigma)$ be a D210: Gaussian random real number.
A D3161: Random real number $X \in \text{Random}(\mathbb{R})$ is a standard folded gaussian random unsigned real number with parameter $\sigma$ if and only if \begin{equation} X \overset{d}{=} |G| \end{equation}