3.7.58. Constraint on the intersection

Denotes that a constraint involving two collections of variables imposes a restriction on the values that occur in both collections.