Documentation for infix ≼

Documentation for infix ≼, assembled from the following types:

infix operator (<+)

From (<+)

((<+)) infix ≼

only sub infix:<>($a$b --> Bool)

Baggy subset of operator (alternate).

Equivalent to (<+), at codepoint U+227C (PRECEDES OR EQUAL TO).