TeX source:
M_1 = 4