Collecting MathML3 notation definitions.

The collector library implements the collection of notation definition. It takes as input a mathematical object, arbitrary many external XML files, and an ordered list of sources. It collects all MathML3 notation definitions as given below, and returns the list of collected notation definitions. It provides:

• The collection of notation definitions from an XML document
• The collection of notation definitions from Content Dictionaries by resolving the symbol’s references for a given mathematical object
• The collection of notation definitions from an XML document in dependence of the position ofthe mathematical object
• The collection of notation definitions by resolving the values of the ec attributes in the XML document of the mathematical object