Symbol: MRS_HIGHER_OR_ZERO