View Source Permit.Operators.Le (permit v0.2.1)

Less-than-or-equal operator, accessible via :le, :<=.