RE: Double right arrowhead?

Doug Ewell via Unicode <[email protected]> Sun, 27 Jul 2025 17:56:51 +0000
Newsgroups gmane.text.unicode.general
Message-ID <BN7PR03MB3665007ECB8F50DDD8E29101CA5BA@BN7PR03MB3665.namprd03.prod.outlook.com>
Alex Plantema wrote:

> Characters may look useful in one font, but not in other fonts. Are
> you going to check them in all fonts?

A character may have somewhat different appearances in different fonts, as long as the basic identity of the character is preserved. That’s what characters are:
https://www.unicode.org/reports/tr17/#CharactersVsGlyphs

Even emoji don’t look exactly the same in every font. Even characters in the Dingbats block don't.

If you require such a specific appearance for this symbol that "check them in all fonts" is considered necessary, then you are not looking for a character; you are looking for a glyph, and for that an inline image is probably the best choice.

--
Doug Ewell, CC, ALB | Lakewood, CO, US | ewellic.org