Re: Double right arrowhead?
Alex Plantema via Unicode <[email protected]> Sun, 27 Jul 2025 19:03:36 +0200
| Newsgroups | gmane.text.unicode.general |
|---|---|
| Message-ID | <[email protected]> |
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.