Zdroj TeX:

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