No I’m pretty sure Katex support is built in

I think Logseq [1] does a very good job at basically everything you’ve mentioned

[1] https://logseq.com/

But I really hope this sets a precedent for all other countries, need money to finance something? Just tax the shit out of Facebook. Of course it’s a joke, we should properly tax them in the first place, or better yet force them not to exploit people data for profit