Author: Urs Format: MarkdownItexMade some mild cosmetic edits.
In the formulas, I added whitespace, changing "`xz`" to "`x z`", because our Instiki parser renders "`xz`" without whitespace as what in LaTeX would be "`\mathrm{xz}`".
<a href="https://ncatlab.org/nlab/revision/diff/prelattice-ordered+commutative+monoid/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/prelattice-ordered+commutative+monoid/2">v2</a>, <a href="https://ncatlab.org/nlab/show/prelattice-ordered+commutative+monoid">current</a>
Made some mild cosmetic edits.
In the formulas, I added whitespace, changing “xz” to “x z”, because our Instiki parser renders “xz” without whitespace as what in LaTeX would be “\mathrm{xz}”.