Oh dear, this will generate horribly large HTML files. If this glyph could be added to the header and referred to, it may work better. I guess since it's SVG you could just put it in an SVG file and load it like any other image.
On Sun, Jun 30, 2019 at 6:20 PM André L F S Bacci < [email protected]> wrote: > On Sun, Jun 30, 2019 at 6:36 PM Benoit <[email protected]> wrote: > >> Thanks André. I introduced RRbar using your proposal in my latest PR, in >> order to compare how they look. >> >> Anyone has an idea for \hat{R} ? It's particularly strange that it works >> when I generate the html locally, though I haven't done anything special >> with fonts, and on the contrary, it does not work on metamath.org where, >> if I understood correctly, a special set of fonts is loaded locally? >> > > This is somewhat of heretic / excessive suggestion, but... A little of > https://viereck.ch/latex-to-svg/ with https://www.svgminify.com/ > genetared: > > althtmldef "RRhat" as "<svg width='1.776ex' height='2.725ex' > style='vertical-align:-0.252ex' aria-hidden='true' focusable='false' > role='img' viewBox='0 -1065.1 764.5 1173.4' xmlns=' > http://www.w3.org/2000/svg' > xmlns:xlink='http://www.w3.org/1999/xlink'><defs><path > id='a' d='m208 74q0-24 46-28 18 0 18-11 0-1-2-13-3-14-6-18t-13-4q-2 0-12 > 0t-34 1-64 1q-71 0-91-2h-8q-7 7-7 11 2 27 13 35h14q70 3 102 50 6 6 181 > 305t178 303q7 12 24 12h25q6-9 6-10l28-323q28-323 30-326 5-11 65-11 25 0 > 25-10 0-2-3-14-3-15-5-18t-14-4q-3 0-14 0t-39 1-73 1q-94 0-123-2h-12q-6 6-6 > 9t2 18q4 13 6 16l4 3h20q54 3 64 17l-12 150h-238l-34-58q-41-69-41-81zm308 > 186q0 11-12 156t-14 146l-27-43q-16-27-63-107l-90-152 103-1q103 0 103 > 1z'/><path id='b' d='m112 560l137 134 8-8q130-124 130-126l-26-29q-2 1-58 > 50l-53 46-55-47q-13-11-26-23t-21-19l-8-6q-2-2-15 14l-13 14z'/></defs><g > transform='scale(1 -1)' fill='currentColor' stroke='currentColor' > stroke-width='0'><use xlink:href='#a'/><use x='264' y='266' > xlink:href='#b'/></g></svg>"; > > In fact, this is I make in books I edit. Use Latex as de facto language > for complex math expressions, and then render they as minified SVG for > print. > > I suggest to further to add an "altlatexdef" to automate in future > situations. > > André > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/CAL1T4B1na4%2BmsJvjJm-MxDS%3D%2Bve3w-c_hon%2BBqPQVyzaWF6H0A%40mail.gmail.com > <https://groups.google.com/d/msgid/metamath/CAL1T4B1na4%2BmsJvjJm-MxDS%3D%2Bve3w-c_hon%2BBqPQVyzaWF6H0A%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSuTMMkJ_WH0g%3DYuKETP65ANhnyyVt94mc0Jm9kydj0Qbg%40mail.gmail.com.
