TeX source:
5{,}7