Symbol: t_min