I'm not completely happy with the construction \overset\leftrightarrow{#1}. There is slightly too much spacing and the arrow heads are too big - making the line spacing a bit too much.

Does anyone have an alternative that they prefer?