Thought this might be of interest to some here: I discovered over on Mastodon that there’s a new math font around:
The regular XCharter unfortunately has some problems for me:
https://savannah.gnu.org/bugs/?62410
I hope to find some time to look into this.
PS: given its recent rise in popularity and the type of audience on there, it would be great to have some more TeXmacs voices on Mastodon: