var AMnames = []; //list of input symbols
  
  function AMinitSymbols() {
    var texsymbols = [], i;
    for (i=0; i<AMsymbols.length; i++)
      if (AMsymbols[i].tex) 
        texsymbols[texsymbols.length] = {input:AMsymbols[i].tex, 
          tag:AMsymbols[i].tag, output:AMsymbols[i].output, ttype:AMsymbols[i].ttype};
    AMsymbols = AMsymbols.concat(texsymbols);
    AMsymbols.sort(compareNames);
    for (i=0; i<AMsymbols.length; i++) AMnames[i] = AMsymbols[i].input;
  }