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.
