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 > > “>>”. > >
