TeX source:
6{,}5