TeX source:
\stackrel{\mathrm{def}}=