Stupid symbol handling