\input amstex
\def\defakko{\overset\hbox{\scriptsize def}\to\Longleftrightarrow}

$$\forall x\in D\ \exists! y\in C\quad (x,y)\in f\;\defakko\;f(x)=y$$
\bye