@olligobber for the user: you type a LateX macro, it replaces that with the corresponding unicode character.
@christianp Ah, I see. ℕ, ⊻, ⇒. And it seems that it does the replacement as soon as no other replacement could occur by adding more letters, which is clever.
My main complaint is it being hard to type text without the replacements occurring.
Also, I noticed you hard-coded a lot of the \mathbb and \mathcal macros to only work for some letters.
@olligobber yeah, there are a couple of compromises. If we had people writing a lot of code out by hand it might get awkward, but I think it's ok at the moment
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!