为什么 $\longleftrightarrow$ 比 $\longrightarrow$ 更长？

APPSYZY

$\leftrightarrow$ 和 $\rightarrow$ 是一样长的，但 $\longleftrightarrow$ 比 $\longrightarrow$ 更长，如何把前者的长度改成和后者一样呢？

kuing

因为短的是逐一设计的单个字符，而长的则是由三个字符拼接而成。

APPSYZY

kuing 发表于 2023-8-2 23:55
因为短的是逐一设计的单个字符，而长的则是由三个字符拼接而成。

有好一点的办法让它俩变得一样长吗？

kuing

暂时没什么很好的办法……

PS、上次讨论过类似嘀东西：kuing.cjhb.site/forum.php?mod=viewthread&tid=9946

kuing

2# 小小说错，不是三个，是两个。

$\longleftrightarrow$ = $\leftarrow$ + $\rightarrow$

$\longrightarrow$ = $-$（减号） + $\rightarrow$

因为减号比箭头短，所以。

APPSYZY

kuing 发表于 2023-8-3 00:07
暂时没什么很好的办法……

PS、上次讨论过类似嘀东西：https://kuing.cjhb.site/forum.php?mod=v ...

确实类似，但是也很不一样，上次那个例子至少那些横着的线的长度都是一样的，所以还有希望可以用“那种”方式对其，但是在这个例子里，横线的长度都是不一样的……换言之，如果右侧箭头对齐了，那左边的线段端点就无法对齐；如果左边对齐了，右边的箭头就无法对齐，这就很难办了，比上次的例子更难处理……

APPSYZY

kuing 发表于 2023-8-3 00:07
暂时没什么很好的办法……

PS、上次讨论过类似嘀东西：https://kuing.cjhb.site/forum.php?mod=v ...

找到一种办法，就是把 \longleftrightarrow 改成 \leftarrow\mathrel{\mkern-7mu}\rightarrow，然后就能和 \longrightarrow 变得一样长了。不过，这个-7mu是怎么算出来的捏？难道是目测的吗？

kuing

APPSYZY 发表于 2023-8-3 01:19
找到一种办法，就是把 \longleftrightarrow 改成 \leftarrow\mathrel{\mkern-7mu}\rightarrow，然后就能和 \longrightarrow 变得一样长了。不过，这个-7mu是怎么算出来的捏？难道是目测的吗？

可以现场计算一下。

1. \documentclass{article}
2. \usepackage{tikz}
3. \begin{document}
4. \newlength\tmpmu
5. \newlength\tmpa
6. \newlength\tmpb
7. \settowidth\tmpmu{$\mkern1mu$}
8. \settowidth\tmpa{$\rightarrow$}
9. \settowidth\tmpb{$-$}
10. \pgfmathparse{(\tmpa-\tmpb)/\tmpmu}
11. \pgfmathresult
12. \end{document}

复制代码

运行后结果是 4.0004 （后面那小数是 latex 的运算误差）
也就是说 `\to` 比 `-` 确实是长了 4mu。
而 \longleftrightarrow 的原定义是 \leftarrow\joinrel\rightarrow
其中 \joinrel 的定义是 \mathrel{\mkern-3mu} 所以变成 -7mu 就对了。

注：latex 里的相关定义有

1. \DeclareRobustCommand\joinrel{\mathrel{\mkern-3mu}}
2. \DeclareRobustCommand\relbar{\mathrel{\smash-}}
3. \DeclareRobustCommand\longrightarrow{\relbar\joinrel\rightarrow}
4. \DeclareRobustCommand\longleftrightarrow{\leftarrow\joinrel\rightarrow}

复制代码

（虽然 amsmath 后来重定义过，但其实是一样的）