TeX source:
6{,}001203