@@ -98,18 +98,24 @@ only C<Set> arguments.
98
98
multi sub infix:<(elem)>($a, Any $b --> Bool)
99
99
multi sub infix:<(elem)>($a, Set $b --> Bool)
100
100
101
+ X < Membership operator > .
102
+
101
103
Returns C < True > if C < $a > is an B < element > of C < $b > .
102
104
103
105
= head4 infix ∈
104
106
105
107
only sub infix:<<"∈">>($a, $b --> Bool)
106
108
109
+ X < Membership operator > (alternate).
110
+
107
111
Equivalent to L « (elem) » , at codepoint U+2208 (ELEMENT OF).
108
112
109
113
= head4 infix ∉
110
114
111
115
only sub infix:<<"∉">>($a, $b --> Bool)
112
116
117
+ X < Non-membership operator > .
118
+
113
119
Equivalent to C < !(elem) > , i.e., returns C < True > if C < $a > is not an element
114
120
of C < $b > , at codepoint U+2209 (NOT AN ELEMENT OF).
115
121
@@ -118,18 +124,24 @@ of C<$b>, at codepoint U+2209 (NOT AN ELEMENT OF).
118
124
multi sub infix:<(cont)>(Any $a, $b --> Bool)
119
125
multi sub infix:<(cont)>(Set $a, $b --> Bool)
120
126
127
+ X < Contains operator > .
128
+
121
129
Returns C < True > if C < $a > B < contains > C < $b > as an element.
122
130
123
131
= head4 infix ∋
124
132
125
133
only sub infix:<<"∋">>($a, $b --> Bool)
126
134
135
+ X < Contains operator > (alternate).
136
+
127
137
Equivalent to L « (cont) » , at codepoint U+220B (CONTAINS AS MEMBER).
128
138
129
139
= head4 infix ∌
130
140
131
141
only sub infix:<<"∌">>($a, $b --> Bool)
132
142
143
+ X < Does not contain operator > .
144
+
133
145
Equivalent to C < !(cont) > , i.e., returns C < True > if C < $a > does not contain
134
146
C < $b > , at codepoint U+220C (DOES NOT CONTAIN AS MEMBER).
135
147
@@ -138,6 +150,8 @@ C<$b>, at codepoint U+220C (DOES NOT CONTAIN AS MEMBER).
138
150
multi sub infix:<<(<=)>>(Any $a, Any $b --> Bool)
139
151
multi sub infix:<<(<=)>>(Setty $a, Setty $b --> Bool)
140
152
153
+ X < Subset of or equal to operator > .
154
+
141
155
Returns C < True > if C < $a > is a B < subset > or is equal to C < $b > , i.e., if all
142
156
the elements of C < $a > are elements of C < $b > and C < $a > is a smaller or equal
143
157
sized set than C < $b > .
@@ -146,19 +160,25 @@ sized set than C<$b>.
146
160
147
161
only sub infix:<<"⊆">>($a, $b --> Bool)
148
162
163
+ X < Subset of or equal to operator > (alternate).
164
+
149
165
Equivalent to L « (<=) » , at codepoint U+2286 (SUBSET OF OR EQUAL TO).
150
166
151
167
= head4 infix ⊈
152
168
153
169
only sub infix:<<"⊈">>($a, $b --> Bool)
154
170
171
+ X < Neither subset of nor equal to operator > .
172
+
155
173
Equivalent to C « !(<=) » , at codepoint U+2288 (NEITHER A SUBSET OF NOR EQUAL TO).
156
174
157
175
= head3 infix (<)
158
176
159
177
multi sub infix:<<(<)>>(Any $a, Any $b --> Bool)
160
178
multi sub infix:<<(<)>>(Setty $a, Setty $b --> Bool)
161
179
180
+ X < Subset of operator > .
181
+
162
182
Returns C < True > if C < $a > is a B < strict subset > of C < $b > , i.e., that all the
163
183
elements of C < $a > are elements of C < $b > but C < $a > is a smaller set than
164
184
C < $b > .
@@ -167,32 +187,42 @@ C<$b>.
167
187
168
188
only sub infix:<<"⊂">>($a, $b --> Bool)
169
189
190
+ X < Subset of operator > (alternate).
191
+
170
192
Equivalent to L « (<) » , at codepoint U+2282 (SUBSET OF).
171
193
172
194
= head4 infix ⊄
173
195
174
196
only sub infix:<<"⊄">>($a, $b --> Bool)
175
197
198
+ X < Not a subset of operator > .
199
+
176
200
Equivalent to C « !(<) » , at codepoint U+2284 (NOT A SUBSET OF).
177
201
178
202
= head3 infix (>=)
179
203
180
204
multi sub infix:<<(>=)>>(Any $a, Any $b --> Bool)
181
205
multi sub infix:<<(>=)>>(Setty $a, Setty $b --> Bool)
182
206
207
+ X < Superset of or equal to operator > .
208
+
183
209
Like L « (<=) » with reversed arguments. Returns C < True > if C < $a > is a
184
210
B < superset > of or equal to C < $b > .
185
211
186
212
= head4 infix ⊇
187
213
188
214
only sub infix:<<"⊇">>($a, $b --> Bool)
189
215
216
+ X < Superset of or equal to operator > (alternate).
217
+
190
218
Equivalent to L « (>=) » , at codepoint U+2287 (SUPERSET OF OR EQUAL TO).
191
219
192
220
= head4 infix ⊉
193
221
194
222
only sub infix:<<"⊉">>($a, $b --> Bool)
195
223
224
+ X < Neither a superset of nor equal to operator > .
225
+
196
226
Equivalent to C « !(>=) » , at codepoint U+2289 (NEITHER A SUPERSET OF
197
227
NOR EQUAL TO).
198
228
@@ -201,26 +231,34 @@ NOR EQUAL TO).
201
231
multi sub infix:<<(>)>>(Any $a, Any $b --> Bool)
202
232
multi sub infix:<<(>)>>(Setty $a, Setty $b --> Bool)
203
233
234
+ X < Superset of operator > .
235
+
204
236
Like L « (<) » with reversed arguments. Returns C < True > if C < $a > is a
205
237
B < strict superset > of C < $b > .
206
238
207
239
= head4 infix ⊃
208
240
209
241
only sub infix:<<"⊃">>($a, $b --> Bool)
210
242
243
+ X < Superset of operator > (alternate).
244
+
211
245
Equivalent to L « (>) » , at codepoint U+2283 (SUPERSET OF).
212
246
213
247
= head4 infix ⊅
214
248
215
249
only sub infix:<<"⊅">>($a, $b --> Bool)
216
250
251
+ X < Not a superset of operator > .
252
+
217
253
Equivalent to C « !(>) » , at codepoint U+2285 (NOT A SUPERSET OF).
218
254
219
255
= head3 infix (<+)
220
256
221
257
multi sub infix:<<(<+)>>(Any $a, Any $b --> Bool)
222
258
multi sub infix:<<(<+)>>(Baggy $a, Baggy $b --> Bool)
223
259
260
+ X < Baggy subset of operator > .
261
+
224
262
Returns C < True > if C < $a > is a Baggy B < subset > of C < $b > , i.e., if all the
225
263
elements of C < $a > are in C < $b > and each element of C < $b > is weighed at
226
264
least as heavily as the element is in C < $a > .
@@ -229,13 +267,17 @@ least as heavily as the element is in C<$a>.
229
267
230
268
only sub infix:<<"≼">>($a, $b --> Bool)
231
269
270
+ X < Baggy subset of operator > (alternate).
271
+
232
272
Equivalent to L « (<+) » , at codepoint U+227C (PRECEDES OR EQUAL TO).
233
273
234
274
= head3 infix (>+)
235
275
236
276
multi sub infix:<<(>+)>>(Baggy $a, Baggy $b --> Bool)
237
277
multi sub infix:<<(>+)>>(Any $a, Any $b --> Bool)
238
278
279
+ X < Baggy superset of operator > .
280
+
239
281
Returns C < True > if C < $a > is a Baggy B < superset > of C < $b > , i.e., if all the
240
282
elements of C < $b > are in C < $a > and no element of C < $b > is weighted heavier
241
283
than that element is in C < $a > .
@@ -244,6 +286,8 @@ than that element is in C<$a>.
244
286
245
287
only sub infix:<<"≽">>($a, $b --> Bool)
246
288
289
+ X < Baggy superset of operator > (alternate).
290
+
247
291
Equivalent to L « (+>) » , at codepoint U+227D (SUCCEEDS OR EQUAL TO).
248
292
249
293
= head2 Operators that return C < Set > or C < Bag >
@@ -252,6 +296,9 @@ Equivalent to L«(+>)», at codepoint U+227D (SUCCEEDS OR EQUAL TO).
252
296
253
297
only sub infix:<(|)>(**@p)
254
298
299
+
300
+ X < Union operator > .
301
+
255
302
Returns the B < union > of all its arguments. Generally, this creates a new
256
303
C < Set > that contains all the elements its arguments contain.
257
304
@@ -267,12 +314,16 @@ appeared for that element.
267
314
268
315
only sub infix:<<"∪">>(|p)
269
316
317
+ X < Union operator > (alternate).
318
+
270
319
Equivalent to L « (V < | > ) » , at codepoint U+222A (UNION).
271
320
272
321
= head3 infix (&)
273
322
274
323
only sub infix:<(&)>(**@p)
275
324
325
+ X < Intersection operator > .
326
+
276
327
Returns the B < intersection > of all of its arguments. Generally, this creates
277
328
a new C < Set > that contains only the elements common to all of the arguments.
278
329
@@ -289,12 +340,17 @@ is the minimum of the weights of that element over all arguments).
289
340
290
341
only sub infix:<<"∩">>(|p)
291
342
343
+ X < Intersection operator > (alternate).
344
+
292
345
Equivalent to L « (&) » , at codepoint U+2229 (INTERSECTION).
293
346
294
347
= head3 infix (-)
295
348
296
349
only sub infix:<(-)>(**@p)
297
350
351
+
352
+ X < Set difference operator > .
353
+
298
354
Returns the B < set difference > of all its arguments. Generally, this returns
299
355
the C < Set > made up of all the elements the first argument has but the rest
300
356
don't, i.e., of all the elements of the first argument, minus the elements
@@ -311,13 +367,18 @@ that element in each of the other arguments.
311
367
312
368
only sub infix:<<"\x2216">>(|p)
313
369
370
+ X < Set difference operator > (alternate).
371
+
314
372
Equivalent to L « (-) » .
315
373
316
374
= head3 infix (^)
317
375
318
376
multi sub infix:<(^)>(Any $a, Any $b --> Setty)
319
377
multi sub infix:<(^)>(Set $a, Set $b --> Setty)
320
378
379
+
380
+ X < Symmetric set difference operator > .
381
+
321
382
Returns the B < symmetric set difference > of all its arguments, i.e., a C < Set >
322
383
made up of all the elements that C < $a > has but C < $b > doesn't and all the
323
384
elements C < $b > has but C < $a > doesn't. Equivalent to C < ($a ∖ $b) ∪ ($b ∖
@@ -327,12 +388,16 @@ $a)>.
327
388
328
389
only sub infix:<<"⊖">>($a, $b --> Setty)
329
390
391
+ X < Symmetric set difference operator > (alternate).
392
+
330
393
Equivalent to L « (^) » , at codepoint U+2296 (CIRCLED MINUS).
331
394
332
395
= head3 infix (.)
333
396
334
397
only sub infix:<(.)>(**@p)
335
398
399
+ X < Baggy multiplication operator > .
400
+
336
401
Returns the Baggy B < multiplication > of its arguments, i.e., a C < Bag > that
337
402
contains each element of the arguments with the weights of the element
338
403
across the arguments multiplied together to get the new weight.
@@ -344,12 +409,16 @@ across the arguments multiplied together to get the new weight.
344
409
345
410
only sub infix:<<"⊍">>(|p)
346
411
412
+ X < Baggy multiplication operator > (alternate).
413
+
347
414
Equivalent to L « (.) » , at codepoint U+228D (MULTISET MULTIPLICATION).
348
415
349
416
= head3 infix (+)
350
417
351
418
only sub infix:<(+)>(**@p)
352
419
420
+ X < Baggy addition operator > .
421
+
353
422
Returns the Baggy B < addition > of its arguments, i.e., a C < Bag > that contains
354
423
each element of the arguments with the weights of the element across the
355
424
arguments added together to get the new weight.
@@ -361,10 +430,12 @@ arguments added together to get the new weight.
361
430
362
431
only sub infix:<<"⊎">>(|p)
363
432
433
+ X < Baggy addition operator > (alternate).
434
+
364
435
Equivalent to L « (+) » , at codepoint U+228E (MULTISET UNION).
365
436
366
437
= head3 term ∅
367
438
368
- Equivalent to set(), aka the empty set, at codepoint U+2205 (EMPTY SET).
439
+ Equivalent to set(), aka X < the empty set > , at codepoint U+2205 (EMPTY SET).
369
440
370
441
= end pod
0 commit comments