add a symbol