Re: [External] : Re: missing a character / font in agenda?

[Max Nikulin]

On 13/07/2022 07:26, Stefan Kangas wrote:
> Ihor Radchenko writes:
>
> > > > I think this should be considered a bug, since the glyph used (LEFTWARDS
> > > > TRIANGLE-HEADED ARROW / #2b60) is not present in most fonts.
>
> If that is true (I don't know) then maybe we should just use a more
> ubiquitous glyph?

Disclaimer: I am not an expert in Unicode.

DejaVuSansMono has at least
- "\u{21fd}" "⇽" LEFTWARDS OPEN-HEADED ARROW 
https://util.unicode.org/UnicodeJsps/character.jsp?a=21fd
- "\u{2190}" "←" LEFTWARDS ARROW 
https://util.unicode.org/UnicodeJsps/character.jsp?a=2190
from https://en.wikipedia.org/wiki/Arrows_(Unicode_block)