Using the lab notebook
Typesetting of formulas is done using the Math extension, which is configured to use MathJax. This might change in the future, as typesetting with MathJax puts a high load in the client browser.
Of course, typesetting of formulas is not enough to write mathematics, we also need to be able to write and reference theorems etc. The extension for MediaWiki that allows us to do this is CrossReference. Since its use is very different from AMS environment in LaTeX, we, however, changed the behaviour of definition and theorem environments. Instead of having to (or being able to) specify where the label, i.e. "Theorem 1", goes, it is automatically put in front of the content. Moreover, definitions, theorems etc. share one counter per page. The rest of the crossrefencing extension is kept as is.
Soon, we will also add support for lemmas and proofs. If any further typesetting capabilities are required, please contact the administrators and we will see what we can do.