TeX source:
6{,}7