Documentation for infix le assembled from the following pages:

Language documentation: Operators §

From Operators

(Operators) infix le §

multi sub infix:<le>(Mu,    Mu)
multi sub infix:<le>(Str:DStr:D)

String less than or equal to operator.

Coerces both arguments to Str (if necessary); returns True if the first is equal to or smaller than the second, as determined by lexicographic comparison.

Mnemonic: less or equal