Symbol: begin_designation