Symbol: proc_sum