Źródło TeX:
\overset{df}{=}