\buildrel ... \over ... - Used to draw REL.
{ \buildrel <subformula> \over #1 }
The result is of class REL (binary relation), so it has the spacing of a relation.
\buildrel \alpha\beta \over \longrightarrow
\buildrel \rm def \over {:=}