Symbol: z_min