This is LaTeX code:
[latex]
\hat{v}(f)\stackrel{\mathsf{def}}{=}f(v)
[/latex]