add some symbols;