Zdroj TeX:

n' \cdot m \overset{D2 }{=} n.m+m \overset{i.p.}{=} m.n+m