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.



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

Sign in to participate in the conversation

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