OK, I came up with: \def\overleftrightarrow#1{\buildrel \leftarrow\joinrel\rightarrow \over {#1}} for this to work in plain TeX. This is not very elegant, since the top arrow does not "stretch" if needed.