Cumulative Discrete Function Symbol