ref #9603: add new Comparator for term.symbol und term.symbol2