This is LaTeX code:
[latex]
\left( {\forall i \in \left\{ {1,2...k - 1} \right\}} \right)\left( {x_{i + 1} = x_i + 1} \right)
[/latex]