@@ -643,15 +643,15 @@ my proto sub infix:<∋>($, $ --> Bool) is equiv(&infix:<==>) is export {*}
643
643
my proto sub infix:<(cont)>($a, $b --> Bool) {*}
644
644
my proto sub infix:<∌>($a, $b --> Bool) is equiv(&infix:<==>) is export {*}
645
645
646
- my proto sub infix:<∪>(Any $a, Any $b --> Set) is equiv(&infix:<X >) is export {*}
647
- my proto sub infix:<(|)>($a, $b --> Set) is equiv(&infix:<X >) is export {*}
646
+ my proto sub infix:<∪>(Any $a, Any $b --> Set) is equiv(&infix:<| >) is export {*}
647
+ my proto sub infix:<(|)>($a, $b --> Set) is equiv(&infix:<| >) is export {*}
648
648
649
- my proto sub infix:<∩>(Any $a, Any $b --> Set) is equiv(&infix:<X >) is export {*}
650
- my proto sub infix:<(&)>($a, $b --> Set) is equiv(&infix:<X >) is export {*}
649
+ my proto sub infix:<∩>(Any $a, Any $b --> Set) is equiv(&infix:<& >) is export {*}
650
+ my proto sub infix:<(&)>($a, $b --> Set) is equiv(&infix:<& >) is export {*}
651
651
652
- my proto sub infix:<(-)>(Any $a, Any $b --> Set) is equiv(&infix:<X >) is export {*}
652
+ my proto sub infix:<(-)>(Any $a, Any $b --> Set) is equiv(&infix:<^ >) is export {*}
653
653
654
- my proto sub infix:<(^)>(Any $a, Any $b --> Set) is equiv(&infix:<X >) is export {*}
654
+ my proto sub infix:<(^)>(Any $a, Any $b --> Set) is equiv(&infix:<^ >) is export {*}
655
655
656
656
my proto sub infix:<⊆>($, $ --> Bool) is equiv(&infix:<==>) is export {*}
657
657
my proto sub infix:['(<=)']($a, $b --> Bool) is equiv(&infix:<==>) is export {*}
0 commit comments