3 ms·
Nice, I've been looking for a way to see what the math symbol coverage is for various fonts. (For writing Agda/Lean code.) The web page seems to hang a while f
by dunham 4y ago
Nice, I've been looking for a way to see what the math symbol coverage is for various fonts. (For writing Agda/Lean code.)
The web page seems to hang a while for some fonts (e.g. JetBrainsMono-Regular), long enough to get a warning from Chrome, but it does work itself out eventually.
It would be nice to have a mouseover or something (even title="...") to give me the name / description of a character that I'm curious about.
(As an aside - does anybody know of a macos input method that will get me something like agda-mode globally?)
- krastanov 4y agoYou might already know about it, but JuliaMono (of Julia language fame), has pretty good math symbol support: https://juliamono.netlify.app/ https://juliamono.netlify.app/
- dunham 4y agoThanks, I'll take a look. I just now discovered that Noto Sans Mono has some math coverage. Ok yeah, at 11k glyphs, that's quite a font. I'm liking it - things like ⊎ are much more legible.
- adalacelove 4y agoIt has been in my TODO list for a while to explore my programmable keyboard for this task.