TeX source:
x + y = y + x