TeX source:
1{,}000001