We now support LaTeX.

A couple notes:
- Markdown formatting is slightly broken right now. We're working on it.
- You should always add content warnings when using LaTeX, due to the fact that it's almost inherently screen-reader hostile.
-  for inlinemath doesn't work. Use the other syntax.

example

$$\mathsf{funext} : \left( \prod_{x : A} \left( f(x) = g(x) \right) \right) \to (f = g).$$

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.