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?
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?
amsmath provides a primitive \overleftrightarrow{...}, but it's even larger than \overset\leftrightarrow{#1}.
You could try the variant MnSymbol provides, which is smaller, but may have unwanted consequences elsewhere.
What about \overset{\text{\tiny$\leftrightarrow$}}{#1}? (That's awkward, and there's probably some way to do without the \text construction, but it seems to work...)
With the fonts that I'm using I find that \overset{\text{\scriptsize$\leftrightarrow$}}{#1} is the best. The big problem is still that the line thickness is off.
It's quite annoying that there aren't any true solutions to this. For those curious, the possible size options are as follows:
\tiny\scriptsize\footnotesize \small (this appears to be the standard size of \overset)bm package you can thicken the arrow out with \overset{\text{\tiny$\bm\leftrightarrow$}}{#1}