Source TeX:
m(a.X)=a.m(X)