~ filter

The ~ filter takes one argument, a set filter

  ~ set

where set is a set filter. The ~ filter represents the complement of the set of squares represented by its argument.

  ~{R attacks k}

is the set of squares on which there is not a white rook attack that attacks the black king.