Symbol: fmaximum_mag