shouldn't ∩ have the precedence of `&` and `∪` have the precedence of `|`?