tocdiv — A division in a table of contents
info? db.titleforbidden.info) |
info? db.info), (
revhistory | | | | | | | | | | | )*,
tocdiv is a division in a manually
constructed table of contents, or more generally, a list of
Formatted as a displayed block.
In real life, lists of titles are usually generated automatically by the presentation system and never have to be represented explicitly in the document source.
Indicates the page on which this element occurs in some version of the printed document