Symbol: add_width_range