\input amstex

\def\defeq{\overset\hbox{\scriptsize def}\to=}

$\{x\}\defeq x-\lfloor x\rfloor$
\bye