Symbol: min3