l

Examples

lt

NumberOrderingDef RealNumberOrderingDef

lteq

NumberOrderingDef RealNumberOrderingDef