TeX source:

(\forall x)(\forall y)[x+y=y+x]