Additions to mathml.lib