revert change to ~~ syntax

While "NOT mask x" is unclear, "~~ mask x" is not ambiguous and is parallel
to established other negations, e.g. "\<not> f x"