\input amstex

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

$\infty\defeq x\quad\hbox{takvo da}\quad\forall y\in\bold{R}\quad y<x.$
\bye