[winthrowe]

They're equivalent, Raku defines both Ascii compatible and Unicode names for typical operators. I expect they used ≤ because it looks nicer.

[codesections]

Yep, correct on both counts