TeX source:
6{,}25