
\input amstex

\def\defeq{\overset\hbox{\scriptsize def}\to=}

$\defeq$
\bye
