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