TeX Quellcode:
0{,}5 \not\in M_2