<html> <head> <base href="https://bugs.freedesktop.org/" /> </head> <body> <div> <a class="bz_bug_link bz_status_NEW " title="NEW --- - FORMATTING: Integral Symbols too small for some integrands" href="https://bugs.freedesktop.org/show_bug.cgi?id=53472#c14">Comment # 14</a> on <a class="bz_bug_link bz_status_NEW " title="NEW --- - FORMATTING: Integral Symbols too small for some integrands" href="https://bugs.freedesktop.org/show_bug.cgi?id=53472">bug 53472</a> from <a class="email" href="mailto:matteo.campanelli@gmail.com" title="Matteo Campanelli <matteo.campanelli@gmail.com>"> Matteo Campanelli</a> <pre>Hi all, so I worked a little on dynamically-sized integrals and I have something working. I added a new command "intd" for the purpose. An user can still use the old "int" to have the usual effect. The picture at the URL below shows how the integral sign with "intd" resizes according to its body argument. Notice that the last line is an ordinary "int" and is there for comparison purposes. <a href="http://i.imgur.com/Oc5N5Qy.png">http://i.imgur.com/Oc5N5Qy.png</a> The code I currently have should be easily adapted to sum, products and so forth. Best, Matteo</pre> </div> <hr> You are receiving this mail because: <ul> <li>You are on the CC list for the bug.</li> </ul> </body> </html>