Symbol: MIN_T