ThmDex – An index of mathematical definitions, results, and conjectures.
F12854
Formulation 0
Let $X, Y \in \text{Bernoulli}(1/2)$ each be a D3999: Standard Bernoulli random boolean number.
Then
(1) \begin{equation} X \overset{d}{=} Y \end{equation}
(2) \begin{equation} 2 X \overset{d}{\neq} X + Y \end{equation}