On Sun, Jun 30, 2019 at 1:47 PM Benoit <[email protected]> wrote:
> Hi all, > > I recently defined some classes that I want to look like an overlined > character and a character with a circumflex (see ~cccbar , ~ccchat and ~ > crrhat at http://us2.metamath.org/mpeuni/mmdefinitions.html). > > Specifically, I want them to look like \overline{\mathbb{C}} and > \hat{\mathbb{C}}. I used the unicode "combining diacritical marks" U+0305 > ◌̅ COMBINING OVERLINE and U+0302 ◌̂ COMBINING CIRCUMFLEX ACCENT (see > https://www.compart.com/en/unicode/block/U+0300). Specifically, the set.mm > file has > althtmldef "CCbar" as "ℂ̅"; > althtmldef "CChat" as "ℂ̂"; > althtmldef "RRhat" as "ℝ̂"; > > The result is not very nice for the overline (the overline is a bit off to > the right and a bit too high above the letter) and is a complete failure > for the circumflex. Does anyone know the reason -- and a solution? > > When I generate the html pages on my computer, the characters look fine. > This might be because the fonts are not installed by default? > > Remark: actually, I generally use in \widehat{A} instead of \hat{A} (and > similarly \overline{A} instead of \bar{A}) since I think the larger marks > look better, but I haven't seen a unicode character for "widehat". > althtmldef accept a full HTML definition? If so... althtmldef "CCbar" as "<span style='text-decoration: overline'>ℂ</span>"; 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/CAL1T4B1XJTRtK6QdA4MiNLsojiLd-EdoJn2QekkqHoVVmHho2A%40mail.gmail.com.
