我对这个结构不是特别满意\overset\leftrightarrow{#1}
。间距稍微有点太大,箭头也太大了——导致行距有点太大。
有人有自己喜欢的替代方案吗?
答案1
amsmath
提供了一个原始的\overleftrightarrow{...}
,但它甚至比还要大\overset\leftrightarrow{#1}
。
您可以尝试 MnSymbol 提供的变体,它较小,但可能会在其他方面产生不良后果。
那怎么样\overset{\text{\tiny$\leftrightarrow$}}{#1}
?(这很尴尬,可能有其他方法可以不用 \text 构造,但它似乎可行......)
答案2
就我使用的字体而言,我发现这\overset{\text{\scriptsize$\leftrightarrow$}}{#1}
是最好的。最大的问题仍然是线条粗细不对。
很烦人的是,没有真正的解决方案。对于那些好奇的人来说,可能的尺寸选项如下:
\tiny
\scriptsize
\footnotesize
\small
(这似乎是 的标准尺寸\overset
)