$$\stackrel{\mathrm{def}}{=}$$