Symbol: add_hole