This is LaTeX code:
[latex]
\forall x,y \in \mathbb{Z} \ \exists n,m \in \mathbb{Z} \ td. \ NZM(x,y)=nx + my
[/latex]