Double right arrowhead?

[Alex Plantema]

Op za 26-07-2025 om 23:55 schreef Doug Ewell via Unicode:
> If one is looking for an existing character that looks like >>, but isn't a sequence of the two characters > and >, here are some suggested steps to take before one concludes that a New Character Must Be Proposed:
Characters may look useful in one font, but not in other fonts. Are you going to check them in all fonts?
If a new character with a name describing its usage is introduced, we don't have that problem.

-- 
Alex.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://corp.unicode.org/pipermail/unicode/attachments/20250727/74c8edfa/attachment.htm>