This is LaTeX code:

[latex]
\cos \frac{x-y}{2} \neq 0 \Rightarrow \frac{x-y}{2} \neq \frac{2k+1}{2}\pi,~k\in\mathbb{Z} \Rightarrow x\neq y+(2k+1)\pi,~k\in \mathbb{Z}
[/latex]