Re: insert a symbol