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: https://i.imgur.com/O3urnxa.png I think LEFTWARDS ARROW / #2190 of the 'arrows' Unicode block is much more common: https://i.imgur.com/h0NQXvG.png Best regards, Juan Manuel
