infix ≼

Documentation for infix ≼, assembled from the following types:

language documentation Sets, Bags, and Mixes

From Sets, Bags, and Mixes

(Sets, Bags, and Mixes) infix ≼

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

Alternate baggy subset of operator.

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