update output symbols2xml.js