TeX source:
12{,}5\,\%