Open pkra opened 3 months ago
@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.
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.
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).
I think the algorithm environment still needs punctuation support,e.g., gsm241 has a few, they produce :
in PDF.
It seems the behavior is not quite consistent.