Zdroj TeX:

(a+b)+c' \overset{Ax5}{=} ((a+b)+c)'