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".
Thanks,
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/db218908-fc95-4f3a-b2fd-3a565f5edb78%40googlegroups.com.
