<initialism>
The <initialism> tag belongs in <docinfo> and gives
a short identifier for the whole document. PreTeXt uses it in some
generated outputs, such as Sage worksheet titles, and it is different
from the inline <init> tag.
Syntax
Attributes
This tag has no attributes.Children
The following may appear as children: TextParents
This element may appear as an immediate child of the following elements:<docinfo>