@notes-type
Type of Notes
Type of note contained in the element (for example, “
note-in-proof
”).