A D3161: Random real number $X \in \text{Random}(\mathbb{R})$ is standard symmetric if and only if \begin{equation} X \overset{d}{=} - X \end{equation}