Ah. I did check there but didn’t recognize it. Have tried to make the information more explicit now (here).

]]>Yes, it’s documented here, that is, in the section How to organize and write content -> Definition-, Theorem-, Proof- environments. However, the list of available environments is slightly outdated, more are available now. On the other hand, I certainly need to find time to update/replace the instructions on the right when one edits to mention this and other new syntax!

Edit: updated the list of available environments in the HowTo now.

]]>Thanks, Richard. I forget about the new syntax. It’s not document in *HowTo*, is it?

Thank you for reporting this, Jeff, I have fixed the page now.

(For Urs and others, for future reference: since we allowed level 6 headings (i.e. use of `######`

in a section heading), the parser has to distinguish theorem environments, which are at the same heading depth HTML-wise, from these. Syntax that it does not expect in a theorem environment can confuse the parser in this respect. In this case, it came from the ’naming’ of the theorem in an old Instiki theorem environment. In general, using the new theorem environment syntax should avoid such issues; I fixed things here by replacing the old theorem syntax with the new. I will tweak the parser when I get the chance to try to handle this kind of case, though, for backwards compatibility.

As a general rule, for table of contents issues, replacing old Instiki syntax with the new theorem environment syntax should fix things; of course it may not be practical to replace an entire page-worth, but usually there are only a few (if any) theorem environments which are non-standard and which might cause problems.)

]]>Thanks for the alert.

I have tried to locate the problem. Some experimenting shows that all parts of the entry compile fine by themselves, but something in the second half fails *if* the TOC is included.

A smaller (non-)working example is now in the Sandbox. This is essentially the second half of the entry, but with the TOC included. And it still gives the error message.

The error message in the Sandbox goes away if one makes one of the following two edits:

1) remove the TOC

or

2) after the line

```
### Hurwitz's Theorem
```

add a line

```
#### AAAA
```

In the latter case one sees that the Theorem (the Hurwitz theorem) appears as a subsection in the TOC. Which is a bug.

So I am guessing that this is related to the cause of the problem. On the other hand, removing that theorem doesn’t make the error go away either!

So I give up now.

]]>"error on line 527 at column 6: Opening and ending tag mismatch: div line 0 and ul"

—Jeff Carlson ]]>

added pointer to today’s article by Ross Street:

A general abstract formulation of Rost 96 in terms of string diagrams in additive braided monoidal categories is in

- Ross Street,
*Vector product and composition algebras in braided monoidal additive categories*(arXiv:1812.04143)