NEWS

--- a/NEWS	Sat May 27 23:32:40 2023 +0200
+++ b/NEWS	Sat May 27 23:34:07 2023 +0200
@@ -223,6 +223,8 @@
     Minor INCOMPATIBILITY.
   - Redefined notin_fset as an abbreviation based on Set.not_member and
     renamed to not_fmember. Minor INCOMPATIBILITY.
+  - Redefined fBall and fBex as abbreviations based on Set.Ball and Set.Bex.
+    Minor INCOMPATIBILITY.
   - Removed lemmas. Minor INCOMPATIBILITIES.
       fmember_iff_member_fset
       notin_fset