TeX source:
M_1=\{1{,}2; 3\}