Just noticed that the LaTeX → unicode replacement on mathstodon.xyz wasn't there - it was on the mathjax-only feature branch!
Now turned back on. Enjoy ∀!

@christianp How does it work?

@olligobber for the user: you type a LateX macro, it replaces that with the corresponding unicode character.
In code: this script github.com/christianp/mastodon

@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

A Mastodon instance for maths people. The kind of people who make $$\pi z^2 \times a$$ jokes. Use $$and$$ for inline LaTeX, and $and$ for display mode.