$$a\stackrel{\scriptscriptstyle\mathrm{def}}{=}b$$