gt

NumberOrderingDef RealNumberOrderingDef

gteq

NumberOrderingDef RealNumberOrderingDef