This is LaTeX code:
[latex]
2^{k+1} \equiv -1 \,(\mathrm{mod}\, 2^{k+1}+1)
[/latex]