Let $X \in \text{Bernoulli}(1/2)$ be a D3999: Standard Bernoulli random boolean number.
Let $a \in (0, \infty) \setminus \{ 1 \}$ be a D5407: Positive real number.

Then \begin{equation} H_a(X) = \log_a 2 \end{equation}