Zdroj TeX:

a+(b+1)\overset{def}{=} a+b' \overset{Axiom5}{=} (a+b)'