Symbol: plus_flag