From 4abb55e16aa6342b5b7b91b6b81260b0d3938739 Mon Sep 17 00:00:00 2001
From: Enivex <kristoffer.varholm@gmail.com>
Date: Thu, 12 Jun 2025 23:47:14 -0400
Subject: [PATCH 1/3] Deprecate curly.eq modifier for seq

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

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 68ccf3f..ec71b81 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -295,6 +295,8 @@ gt >
   .approx ⪆
   .double ≫
   .eq ≥
+  .seq ⩾
+  @deprecated: `gt.eq.slant` is deprecated, use `gt.seq` instead
   .eq.slant ⩾
   .eq.lt ⋛
   .eq.not ≱
@@ -320,6 +322,8 @@ lt <
   .approx ⪅
   .double ≪
   .eq ≤
+  .seq ⩽
+  @deprecated: `lt.eq.slant` is deprecated, use `lt.seq` instead
   .eq.slant ⩽
   .eq.gt ⋚
   .eq.not ≰
@@ -344,7 +348,11 @@ approx ≈
   .not ≉
 prec ≺
   .approx ⪷
+  .seq ≼
+  @deprecated: `prec.curly.eq` is deprecated, use `prec.seq` instead
   .curly.eq ≼
+  .seq.not ⋠
+  @deprecated: `prec.curly.eq.not` is deprecated, use `prec.seq.not` instead
   .curly.eq.not ⋠
   .double ⪻
   .eq ⪯
@@ -357,7 +365,11 @@ prec ≺
   .tilde ≾
 succ ≻
   .approx ⪸
+  .seq ≽
+  @deprecated: `prec.curly.eq` is deprecated, use `prec.seq` instead
   .curly.eq ≽
+  .seq.not ⋡
+  @deprecated: `prec.curly.eq.not` is deprecated, use `prec.seq.not` instead
   .curly.eq.not ⋡
   .double ⪼
   .eq ⪰

From cfe5e763855820bd9896a2a6806e72e9fa31e373 Mon Sep 17 00:00:00 2001
From: Enivex <kristoffer.varholm@gmail.com>
Date: Thu, 12 Jun 2025 23:47:51 -0400
Subject: [PATCH 2/3] Add additional seq variants

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

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index ec71b81..11df71f 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -289,6 +289,11 @@ eq =
   .triple ≡
   .triple.not ≢
   .quad ≣
+seq
+  .lt ⪕
+  .lt.dot ⪗
+  .gt ⪖
+  .gt.dot ⪘
 gt >
   .circle ⧁
   .dot ⋗
@@ -296,6 +301,7 @@ gt >
   .double ≫
   .eq ≥
   .seq ⩾
+  .dot.seq ⪀
   @deprecated: `gt.eq.slant` is deprecated, use `gt.seq` instead
   .eq.slant ⩾
   .eq.lt ⋛
@@ -323,6 +329,7 @@ lt <
   .double ≪
   .eq ≤
   .seq ⩽
+  .dot.seq ⩿
   @deprecated: `lt.eq.slant` is deprecated, use `lt.seq` instead
   .eq.slant ⩽
   .eq.gt ⋚

From 53adf6f861756e45a655f9ab62b28b2b55c203aa Mon Sep 17 00:00:00 2001
From: Enivex <kristoffer.varholm@gmail.com>
Date: Thu, 12 Jun 2025 23:48:04 -0400
Subject: [PATCH 3/3] Add sequiv variants

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

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 11df71f..f67c811 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -307,6 +307,7 @@ gt >
   .eq.lt ⋛
   .eq.not ≱
   .equiv ≧
+  .sequiv ⫺
   .lt ≷
   .lt.not ≹
   .neq ⪈
@@ -335,6 +336,7 @@ lt <
   .eq.gt ⋚
   .eq.not ≰
   .equiv ≦
+  .sequiv ⫹
   .gt ≶
   .gt.not ≸
   .neq ⪇
@@ -389,6 +391,9 @@ succ ≻
   .tilde ≿
 equiv ≡
   .not ≢
+sequiv
+  .lt ⪛
+  .gt ⪜
 smt ⪪
   .eq ⪬
 lat ⪫