<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 2 Mar 2020 at 14:23, Michael J. Baars <<a href="mailto:mjbaars1977.tex-live@cyberfiber.eu">mjbaars1977.tex-live@cyberfiber.eu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="text-align:left;direction:ltr"><div>On Sun, 2020-03-01 at 16:51 +0000, David Carlisle wrote:</div><div><br></div><blockquote type="cite" style="margin:0px 0px 0px 0.8ex;border-left:2px solid rgb(114,159,207);padding-left:1ex"><div dir="ltr"><div>I don't see anything unusual in your output. You have chosen to use \left--\right (it is often better to choose a specific size such as \bigl..\bigr) but if you use \left..\right then the size of the brackets depends on the size of the contained expression  and \frac{1}{a} is taller than \frac{a}{1}</div></div></blockquote><div><br></div><div>Yeah, well I did see something unusual. \frac{1}{a} and \frac{a}{1} are supposed to be exacly the same height,</div></div></blockquote><div><br></div><div><br></div><div>Perhaps you should ask about that as (with computer modern at least) that is not the case and so the behaviour of \left\right follows.</div><div><br></div><div>Basically 1 and a have the same depth so the depth of the denominators are the same, but 1 has more height than a and that affects the height of the numerator and so of the overall fraction.</div><div><br></div><div>\documentclass{article}<br><br>\begin{document}<br><br>\sbox0{$\displaystyle\frac{1}{a}$}<br>\typeout{1/a: \the\ht0+\the\dp0}<br><br>\sbox0{$\displaystyle\frac{a}{1}$}<br>\typeout{a/1: \the\ht0+\the\dp0}<br><br><br>\end{document}</div><div><br></div><div><br></div><div>produces</div><div><br></div><div>1/a: 13.20952pt+6.85951pt<br>a/1: 11.07062pt+6.85951pt</div><div><br></div><div><br></div><div>so the first form is over 2pt taller and so gets a larger bracket if you auto-size the brackets with \left\right.<br></div><div><br></div><div><br></div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="text-align:left;direction:ltr"><div> that is what the whole experiment is about. Have it your way... if that is what you prefer.</div></div></blockquote><div><br></div><div>It isn't a question of what I prefer, I am just stating what the font metrics specify.</div><div><br></div><div>David</div><div><br></div><div><br></div><div> <br></div></div></div>