Author: Richard Williamson Format: MarkdownItexChanging a definition to use the new LaTeX-like syntax. Main purpose is to test a tweak to the nForum announcement user interface.
<a href="https://ncatlab.org/nlab/revision/diff/cubical+Kan+complex/9">diff</a>, <a href="https://ncatlab.org/nlab/revision/cubical+Kan+complex/9">v9</a>, <a href="https://ncatlab.org/nlab/show/cubical+Kan+complex">current</a>
Changing a definition to use the new LaTeX-like syntax. Main purpose is to test a tweak to the nForum announcement user interface.