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)
