TeX source:
5{,}1^5