setminus in favor of backslash

Because the spacing is better.