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