Symbol: down_conversion