This is LaTeX code:
[latex]
(\forall p \in \mathbb{Z}[x])(\forall k, l \in \mathbb{Z})~k-l|p(k)-p(l)
[/latex]