TeX source:
10 000 + 100 = 10 100