Symmetric signs forced by the martingale property (source code)

= Symmetric signs forced by the martingale property

If every increment $\xi_n=M_n-M_{n-1}$ of a discrete martingale takes values in $\{-1,1\}$, then
$$
\mathbb P(\xi_n=1\mid\mathcal F_{n-1})
=\mathbb P(\xi_n=-1\mid\mathcal F_{n-1})=\frac12.
$$
Iterated conditioning shows that the increments are independent symmetric signs, so $M_n-M_0$ is a <simple symmetric random walk>.