Zdroj TeX:
m+n' \overset{i.p.}{=} m'+n