
12 Nov
2019
12 Nov
'19
3:36 a.m.
Hi,
I mean, as shown in this example and a previous one I posted a screenshot of, I think it's cute and geeky to use a few math symbols in the same way in my editor. I've been doing that for a few years, and it never got beyond "slightly cute."
I would second this. I find it actually less readable if the font does not provide nice arrows. It reminds me of ScaLa and the "=>" symbol. The right implication arrow was barely readable in most common Ubuntu fonts.
Cheers, Marko