Documentation for infix (<+)
Documentation for infix (<+), assembled from the following types:
multi sub infix:<<(<+)>>(Any , Any --> Bool)multi sub infix:<<(<+)>>(Baggy , Baggy --> Bool)
$a is a Baggy subset of
$b, i.e., if all the elements of
$a are in
$b and each element of
$b is weighed at least as heavily as the element is in
only sub infix:<≼>(, --> Bool)
Baggy subset of operator (alternate).
Equivalent to (<+), at codepoint U+227C (PRECEDES OR EQUAL TO).