~~ package:groups

Group subtraction: x ~~ y == x <> invert y