I am currently looking at Lamport's "document preparation system for LaTeX" (1994 edition) and I am surprised to see that some of the mathematical symbols are rendered differently in the book than when I use them in a document. For instance, \leftrightarrow (page 43) has shorters arrow heads in the book. I'm just curious : has something changed in the rendering of these symbols ?
Thank you !
\documentclass[10pt]{article} \begin{document} $\leftrightarrow$ \end{document}
\documentclass[10pt]{article} \begin{document} $\leftrightarrow$ \end{document}