@neauoire what are those extra non-ASCII characters?

Like 3 Aug 2023 at 16:18 | Wall-to-wall | Open on emacs.ch

7 comments

@a13cui Oh, right, the full arrow is JMI(!), and the empty arrow is JCI(?), pointers literals are the little boxes

3 Aug 2023 at 16:19 | Open on merveilles.town

@neauoire like a ligature in Left?

3 Aug 2023 at 16:20 | Open on emacs.ch

@a13cui they're special characters to help readability, the runes are too much eye strain for me.

3 Aug 2023 at 16:20 | Open on merveilles.town

@neauoire what would it look like without these characters?

3 Aug 2023 at 16:21 | Open on emacs.ch

3 Aug 2023 at 16:23 | Open on merveilles.town

@neauoire hmmm, not as bad as I thought it would be, I was hoping there'd be 2+ char sequences

3 Aug 2023 at 16:24 | Open on emacs.ch

@a13cui ah yeah, no that's be excessive.

3 Aug 2023 at 16:25 | Open on merveilles.town