Zdroj TeX:

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