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?
Benoit
--
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/9e0134f8-28b0-41e9-a039-8b01cfbbac2f%40googlegroups.com.
