Deprecate {gt,lt}.tri.* and add {gt,lt}.closed.* (#131)

Author: MDLC01

CHANGELOG.md

@@ -38,6 +38,14 @@
   - `supset.tilde`: ⫈
   - `supset.times`: ⫂
   - `pee`: ℘
+  - `gt.closed`: ⊳
+  - `gt.closed.eq`: ⊵
+  - `gt.closed.eq.not`: ⋭
+  - `gt.closed.not`: ⋫
+  - `lt.closed`: ⊲
+  - `lt.closed.eq`: ⊴
+  - `lt.closed.eq.not`: ⋬
+  - `lt.closed.not`: ⋪
 
 - Miscellaneous technical
   - `bowtie.stroked`: ⋈
@@ -63,8 +71,10 @@
 - treasure: 🪎
 - trombone: 🪊
 
-### Deprecations
+### Deprecations in `sym`
 
+- `gt.tri` and variants in favor of `gt.closed`
+- `lt.tri` and variants in favor of `lt.closed`
 - `join` and its variants in favor of `bowtie.big` with the same variants
 
 ### Removals **(Breaking change)**

src/modules/sym.txt

@@ -308,6 +308,10 @@ gt >
   .approx ⪆
   .arc ⪧
   .arc.eq ⪩
+  .closed ⊳
+  .closed.eq ⊵
+  .closed.eq.not ⋭
+  .closed.not ⋫
   .double ≫
   .double.nested ⪢
   .eq ≥
@@ -324,9 +328,13 @@ gt >
   .ntilde ⋧
   .tilde ≳
   .tilde.not ≵
+  @deprecated: `gt.tri` is deprecated, use `gt.closed` instead
   .tri ⊳
+  @deprecated: `gt.tri.eq` is deprecated, use `gt.closed.eq` instead
   .tri.eq ⊵
+  @deprecated: `gt.tri.eq.not` is deprecated, use `gt.closed.eq.not` instead
   .tri.eq.not ⋭
+  @deprecated: `gt.tri.not` is deprecated, use `gt.closed.not` instead
   .tri.not ⋫
   .triple ⋙
   .triple.nested ⫸
@@ -336,6 +344,10 @@ lt <
   .approx ⪅
   .arc ⪦
   .arc.eq ⪨
+  .closed ⊲
+  .closed.eq ⊴
+  .closed.eq.not ⋬
+  .closed.not ⋪
   .double ≪
   .double.nested ⪡
   .eq ≤
@@ -352,9 +364,13 @@ lt <
   .ntilde ⋦
   .tilde ≲
   .tilde.not ≴
+  @deprecated: `lt.tri` is deprecated, use `lt.closed` instead
   .tri ⊲
+  @deprecated: `lt.tri.eq` is deprecated, use `lt.closed.eq` instead
   .tri.eq ⊴
+  @deprecated: `lt.tri.eq.not` is deprecated, use `lt.closed.eq.not` instead
   .tri.eq.not ⋬
+  @deprecated: `lt.tri.not` is deprecated, use `lt.closed.not` instead
   .tri.not ⋪
   .triple ⋘
   .triple.nested ⫷