插入符号函数