Symbol: y_max