答案1
计算机现代字体于 1992 年更新,特别是箭头也进行了更新,请参阅 D. Knuth 的消息
https://www-cs-faculty.stanford.edu/~knuth/cm.html
1992 年许多角色得到了改进,尤其是箭头
1994 年版的 LaTeX 书仍在使用旧版本。
Campa 指出,较旧的箭头形式已保留在该old-arrows
软件包提供的字体中,因此
\documentclass[10pt]{article}
\usepackage{old-arrows}
\begin{document} $\leftrightarrow$ \end{document}