This is LaTeX code:
[latex]
\forall x,y\in\mathbb{Z}\,\exists! q,r\in \mathbb{Z} \pitchfork x=qy+r \land 0\leq r<|y|
[/latex]