TeX source:
2{,}5