From f7ea33dee9d5cc4508733eb16e50b80650ea7587 Mon Sep 17 00:00:00 2001
From: MDLC01 <57839069+MDLC01@users.noreply.github.com>
Date: Thu, 12 Dec 2024 19:34:19 +0100
Subject: [PATCH 1/5] Implement Proposal 14 (iteration 1), part I

Only adds `inter`, does not remove `sect`.
---
 src/modules/sym.txt | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index b4e8b32..457835f 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -433,6 +433,15 @@ union ∪
   .sq ⊔
   .sq.big ⨆
   .sq.double ⩏
+inter ∩
+  .and ⩄
+  .big ⋂
+  .dot ⩀
+  .double ⋒
+  .sq ⊓
+  .sq.big ⨅
+  .sq.double ⩎
+# Deprecation planned.
 sect ∩
   .and ⩄
   .big ⋂
@@ -467,6 +476,8 @@ integral ∫
   .dash.double ⨎
   .double ∬
   .quad ⨌
+  .inter ⨙
+  # Deprecation planned.
   .sect ⨙
   .slash ⨏
   .square ⨖

From c252df8c200d57e6aa5b6037c0c9a216ad087d1e Mon Sep 17 00:00:00 2001
From: MDLC01 <57839069+MDLC01@users.noreply.github.com>
Date: Thu, 12 Dec 2024 19:47:55 +0100
Subject: [PATCH 2/5] Fix comments

---
 src/modules/sym.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 457835f..64bb889 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -441,7 +441,7 @@ inter ∩
   .sq ⊓
   .sq.big ⨅
   .sq.double ⩎
-# Deprecation planned.
+// Deprecation planned.
 sect ∩
   .and ⩄
   .big ⋂
@@ -477,7 +477,7 @@ integral ∫
   .double ∬
   .quad ⨌
   .inter ⨙
-  # Deprecation planned.
+  // Deprecation planned.
   .sect ⨙
   .slash ⨏
   .square ⨖

From 937a57a07972411d89f0386c485b5727639e47b4 Mon Sep 17 00:00:00 2001
From: Malo <57839069+MDLC01@users.noreply.github.com>
Date: Mon, 3 Feb 2025 20:03:15 +0100
Subject: [PATCH 3/5] Deprecate `sect`

---
 src/modules/sym.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 64bb889..91bb46d 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -441,7 +441,7 @@ inter ∩
   .sq ⊓
   .sq.big ⨅
   .sq.double ⩎
-// Deprecation planned.
+@deprecated: `sect` is deprecated and replaced with `inter`
 sect ∩
   .and ⩄
   .big ⋂

From 0f0a705d48a4f13b923d66af4bbdd3e29c0a230b Mon Sep 17 00:00:00 2001
From: Malo <57839069+MDLC01@users.noreply.github.com>
Date: Mon, 3 Feb 2025 23:21:24 +0100
Subject: [PATCH 4/5] Change deprecation message

Co-authored-by: Laurenz <laurmaedje@gmail.com>
---
 src/modules/sym.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 91bb46d..7e90071 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -441,7 +441,7 @@ inter ∩
   .sq ⊓
   .sq.big ⨅
   .sq.double ⩎
-@deprecated: `sect` is deprecated and replaced with `inter`
+@deprecated: `sect` is deprecated, use `inter` instead
 sect ∩
   .and ⩄
   .big ⋂

From 328a3dc1282d1b24ac6197ad88362b235bd95f0e Mon Sep 17 00:00:00 2001
From: Malo <57839069+MDLC01@users.noreply.github.com>
Date: Mon, 3 Feb 2025 23:22:37 +0100
Subject: [PATCH 5/5] Mark `integral.sect` as deprecated.

No warning though, as the current infrastructure does not support it.
---
 src/modules/sym.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 7e90071..349eb49 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -477,7 +477,7 @@ integral ∫
   .double ∬
   .quad ⨌
   .inter ⨙
-  // Deprecation planned.
+  // Deprecated.
   .sect ⨙
   .slash ⨏
   .square ⨖