replace a symbol