<dl> is a definition list, which nicely fits documenting a list of entities.It is, but it seems to me the more specific "list of symbols introduced" is better.
<dl class="d_decl"> <dd class="d_class"> or whateverUse the closest tag name to what it is, and then put a class in there to get more specific.