From 2c7f3e49481cc21c9418b0c2674591c1836ad8e4 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Tue, 6 Aug 2024 22:50:16 +0900
Subject: [PATCH] fix

---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 32271b154..22c7d3fd5 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -22,7 +22,7 @@ Latest releases: [[1.3.0] - 2024-08-06](#130---2024-08-06) and [[1.2.0] - 2024-0
 
 - in `classical_sets.v`:
   + lemma `setCD`
-  + definition `setY`, notation ``` `^` ```
+  + definition `setY`, notation ``` `+` ```
   + lemmas `setY0`, `set0Y`, `setYK`, `setYC`, `setYA`, `setIYl`, `mulrYr`,
     `setY_def`, `setYE`, `setYU`, `setYI`, `setYD`, `setYCT`, `setCYT`, `setYTC`, `setTYC`
   + lemma `setDU`