--- a/NEWS Fri Dec 16 09:55:22 2022 +0100
+++ b/NEWS Fri Dec 16 10:13:52 2022 +0100
@@ -30,6 +30,10 @@
irreflp to be abbreviations. Lemmas irrefl_def and irreflp_def are
explicitly provided for backward compatibility but their usage is
discouraged. Minor INCOMPATIBILITY.
+ - Added predicates sym_on and symp_on and redefined sym and
+ symp to be abbreviations. Lemmas sym_def and symp_def are explicitly
+ provided for backward compatibility but their usage is discouraged.
+ Minor INCOMPATIBILITY.
- Added predicates antisym_on and antisymp_on and redefined antisym and
antisymp to be abbreviations. Lemmas antisym_def and antisymp_def are
explicitly provided for backward compatibility but their usage is