Let $X \in \text{Bernoulli}(1/2)$ be a D3999: Standard Bernoulli random boolean number.
A D5075: Random integer $R \in \text{Random} \{ -1, 1 \}$ is a standard rademacher random integer if and only if \begin{equation} R \overset{d}{=} 2 X - 1 \end{equation}