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.
Follow
example
$$ \mathsf{funext} : \left( \prod_{x : A} \left( f(x) = g(x) \right) \right) \to (f = g). $$
