unknow symbol handling