patch for mathesaurus.xml