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