This is LaTeX code:
[latex]
a\stackrel{def}{=}b+c
[/latex]