Thanks, 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 - thing

Thanks, 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.