Zdroj TeX:

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