Zdroj TeX:

(m+1)'+n \overset{def}{=} (m+1)+1+n \overset{V3}{=} (m+1)+(n+1) \overset{def}{=} (m+1)+n'