"generated" punctuation in statement and figure labels

[pkra]

It seems the behavior is not quite consistent.

[davidmjones]

@pkra I reviewed all the places where texml generates <title/> or
<label/> elements.

This includes the table of contents, where I noticed that we've been omitting the section signs (§) that GSM uses in front of section numbers in the TOC. Those will now be included.

Do we want to use <x/> elements in bibliography labels?

<label><x>[</x>1<x>]</x></label>

instead of

<label>[1]</label>

It's probably better to use them for consistency.

[pkra]

This includes the table of contents, where I noticed that we've been omitting the section signs (§) that GSM uses in front of section numbers in the TOC. Those will now be included.

Ok. (I only recently added them downstream but this will be more robust.)

Do we want to use elements in bibliography labels?

Sounds good.

[pkra]

The changes are looking good.

But I noticed that theorems with label and title have the generated . on the label instead of the title (which does not match TeX).

[pkra]

I think the algorithm environment still needs punctuation support,e.g., gsm241 has a few, they produce : in PDF.

[pkra]

I've just opened #235.

Otherwise, this issue seems fixed.