Symbol: F_max