Simple symbol handling.