TeX source:
m \leftarrow m_1 \times m_2