TeX Quellcode:
12{,}8062...\neq 18