Re: Double right arrowhead?

Ok, so I just took some time to look more carefully - and here they are:
```python
% pip install terminedia
from terminedia.unicode import lookup
...

lookup(r"DOUBLE (SUCCEEDS|PRECEDES)")
# Out[27]:
# [Character(code=0x2ABB, value='⪻', name='DOUBLE PRECEDES',
category='Sm', width='N'),
# Character(code=0x2ABC, value='⪼', name='DOUBLE SUCCEEDS',
category='Sm', width='N')]
```

On Fri, Jul 25, 2025 at 12:55 PM Joao S. O. Bueno <[email protected]> wrote:
>
> I just went to check, I am really surprised that what are now
> recognized as de facto
> symbols for media reproducing control had not been encoded - not even
> as emoji's.
>
> I was expecting to find something similar to  ">>" as "Fast Forward"
> or similar, as one can see in
> every media player, physical or in software, along with the symbols
> for "rewind", "play", "pause".
>
> Maybe starting a pledge to encode these with semantic meaning for
> forward and backward (for the
> visual glyphs ">>" and "<<") could be a thing, indeed - since none of
> the tens of right-pointing arrows listed by James above seems
> to convey the forward meaning.
>
> On Fri, Jul 25, 2025 at 11:59 AM Ivan Panchenko via Unicode
> <[email protected]> wrote:
> >
> > Jukka K. Korpela wrote:
> > > The use of two GREATER THAN characters is just a way to emulate a rightwards arrow using ASCII graphics.
> >
> > On the other hand, many UIs do have something like “<” or “>” (and I
> > am not talking about the ASCII characters!) to point to the
> > left/right. Not sure whether it deserves to be encoded as a Unicode
> > character, but then again, why not when there are all sorts of
> > different arrows? I have also seen something that looks similar to
> > “>>”.
> >