[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Juan Manuel Macías
Subject: Re: [External] : Re: missing a character / font in agenda?
Date: Wed, 13 Jul 2022 10:01:14 +0000

Stefan Kangas writes:

> If that is true (I don't know) then maybe we should just use a more
> ubiquitous glyph?

I have done a quick test with some fonts that are ---I believe--- quite
popular. This character is missing from DejaVu Sans Mono, Iosevka,
Source Pro, Fira Code and Hack. JuliaMono does include it:


I think LEFTWARDS ARROW / #2190 of the 'arrows' Unicode block is much
more common:


Best regards,

Juan Manuel 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]