TeX source:

\forall x\forall y(x+y\leq z)\to \forall x\forall y(x+y=0)