Skip to main content
Source Link
Simon
  • 4.4k
  • 8
  • 29
  • 27

overleftrightarrow

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?