TeX source:
x+y+z=12,000