From f5840a92d26d4436582e05b60bcd6fcf2a2a18ff Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sun, 27 Sep 2020 13:35:39 +0200
Subject: Fixing and documenting the change of meaning of `>=< y`

---
 CHANGELOG_UNRELEASED.md | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'CHANGELOG_UNRELEASED.md')

diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
index c837a2f..73baae1 100644
--- a/CHANGELOG_UNRELEASED.md
+++ b/CHANGELOG_UNRELEASED.md
@@ -269,6 +269,13 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
   `{in _, forall x y, _}`, hence reordering the arguments. Made them
   hints for smoother combination with `comparable_big[lr]`.
 
+- In `order.v`,
+  + `>=< y` stands for `[pred x | x >=< y]`
+  + `>< y`  stands for `[pred x | x >< y]`
+  + and the same holds for the dual `>=<^d`, `><^d`, the product
+  `>=<^p`, `><^p`, and lexicographic `>=<^l`, `><^l`.
+  The previous meanings can be obtained through `>=<%O x` and `><%O x`.
+
 
 ### Renamed
 
-- 
cgit v1.2.3