Thanks, Adam, for the more complete explanation, and anticipating some of the
gotchas.
We have an #algorithm block, which might be a good home for this. And if any
algorithm-specific enhancements were made, we could condition them on living
inside such a block, which might reduce the "havoc" potential.
I now know more about vertical ellipsis than I ever thought I would (which is
not to say I know a whole lot more).
https://en.wikipedia.org/wiki/Ellipsis
Good news, Unicode U+2026 is the character. So, Adam you could experiment with
HTML and "& # x 2026 ;" (no spaces).
As suggested, I think I would try a #dl where the "title" of one element is
empty (hmmm) or absent (schema violation?) or maybe just holds a <nbsp/> (tag
abuse) and put the Unicode vertical ellipsis in as the text of the lone #p in
the #item.
If we think a vertical ellipsis is useful as a character (like in sentences) it
would be little trouble (except for braille!) to make a #vellipsis, or similar.
Rob
> * Being able to change the # of the <ol>, in the middle.
> * Replacing one of the numbers with a vertical ellipsis.
> <mailto:
pretext-support%2Bunsu...@googlegroups.com>.
> support/MTAwMDAxMi5iZWV6ZXI.1752712379%40pnsh <https://
>
groups.google.com/d/msgid/pretext-support/
> MTAwMDAxMi5iZWV6ZXI.1752712379%40pnsh>.
>
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt support" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
pretext-suppo...@googlegroups.com <mailto:
pretext-
>
support+u...@googlegroups.com>.
> CANn%3Dses_fb6YxMgHeNj4Tno89YV0K6P%3DRDmVR5xCLHLZFgZqaQ%
40mail.gmail.com
> <
https://groups.google.com/d/msgid/pretext-support/
> CANn%3Dses_fb6YxMgHeNj4Tno89YV0K6P%3DRDmVR5xCLHLZFgZqaQ%
40mail.gmail.com?
> utm_medium=email&utm_source=footer>.
>
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt support" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to
pretext-suppo...@googlegroups.com <mailto:
pretext-
>
support+u...@googlegroups.com>.
> CAH%2BNcPY%3DrbkhWRqpCCJAHiE_RhiroOuxZjhGitThUO-iijAA%2Bg%
40mail.gmail.com
> <
https://groups.google.com/d/msgid/pretext-support/
> CAH%2BNcPY%3DrbkhWRqpCCJAHiE_RhiroOuxZjhGitThUO-iijAA%2Bg%
40mail.gmail.com?
> utm_medium=email&utm_source=footer>.