TeX source:
x+3,000+7,000=12,000