TeX Quellcode:
5{,}7