add symbol]