LaTeX has a neat control sequence, \overleftrightarrow, which puts a double arrow on top of characters. This is missing in plain TeX. Does anyone know of a similar object in plain TeX? Thanks, Juan