Symbol: isgreaterequal