Symbol: MIN_HIGH