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