This is LaTeX code:
[latex]
\mathbb{P}(X \leq n, 1000 - X \leq n) = \mathbb{P}(1000 - n \leq X \leq n) \geq 0.95
[/latex]