~ 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.
~{♖→♚}
is the set of squares on which there is not a white rook attack that attacks the black king.