\input amstex

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

$\forall M>0\quad \mu(AB\setminus\overline{AB})>M\;\Longrightarrow\;\mu(AB\setminus\overline{AB})\defeq\infty$
\bye