diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 68ccf3f..f67c811 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -289,16 +289,25 @@ eq =
   .triple ≡
   .triple.not ≢
   .quad ≣
+seq
+  .lt ⪕
+  .lt.dot ⪗
+  .gt ⪖
+  .gt.dot ⪘
 gt >
   .circle ⧁
   .dot ⋗
   .approx ⪆
   .double ≫
   .eq ≥
+  .seq ⩾
+  .dot.seq ⪀
+  @deprecated: `gt.eq.slant` is deprecated, use `gt.seq` instead
   .eq.slant ⩾
   .eq.lt ⋛
   .eq.not ≱
   .equiv ≧
+  .sequiv ⫺
   .lt ≷
   .lt.not ≹
   .neq ⪈
@@ -320,10 +329,14 @@ lt <
   .approx ⪅
   .double ≪
   .eq ≤
+  .seq ⩽
+  .dot.seq ⩿
+  @deprecated: `lt.eq.slant` is deprecated, use `lt.seq` instead
   .eq.slant ⩽
   .eq.gt ⋚
   .eq.not ≰
   .equiv ≦
+  .sequiv ⫹
   .gt ≶
   .gt.not ≸
   .neq ⪇
@@ -344,7 +357,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 +374,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 ⪰
@@ -370,6 +391,9 @@ succ ≻
   .tilde ≿
 equiv ≡
   .not ≢
+sequiv
+  .lt ⪛
+  .gt ⪜
 smt ⪪
   .eq ⪬
 lat ⪫