TeX source:
\left \{ x \in \mathbb{Z} \; | \; x=x+1 \right \}