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?)
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?)