TeX source:
m_1 = 1