From 60a73312420265642fcf221da7af908df4f3f3e5 Mon Sep 17 00:00:00 2001 From: Malo <57839069+MDLC01@users.noreply.github.com> Date: Wed, 22 Apr 2026 13:51:51 +0200 Subject: [PATCH 1/3] Add slanted variants of existing symbols --- CHANGELOG.md | 12 ++++++++++++ src/modules/sym.txt | 18 ++++++++++++++++++ 2 files changed, 30 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index e6e8db4..12bab15 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -52,6 +52,16 @@ - `lt.closed.eq`: ⊴ - `lt.closed.eq.not`: ⋬ - `lt.closed.not`: ⋪ + - `eq.gt.slant`: ⪖ + - `eq.lt.slant`: ⪕ + - `gt.eq.lt.slant`: ⋛︀ + - `gt.equiv.slant`: ⫺ + - `gt.tilde.slant`: ≳︀ + - `lt.eq.gt.slant`: ⋚︀ + - `tl.equiv.slant`: ⫹ + - `lt.tilde.slant`: ≲︀ + - `smt.eq.slant`: ⪬︀ + - `lat.eq.slant`: ⪭︀ - Miscellaneous technical - `bowtie.stroked`: ⋈ @@ -121,6 +131,8 @@ - `gt.tri` and variants in favor of `gt.closed` - `lt.tri` and variants in favor of `lt.closed` +- `prec.curly.eq` and variants in favor of `prec.eq.slant` +- `succ.curly.eq` and variants in favor of `succ.eq.slant` - `join` and its variants in favor of `bowtie.big` with the same variants ### Removals **(Breaking change)** diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 439ccf1..1b25ac9 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -294,7 +294,9 @@ eq = .equi ≚ .est ≙ .gt ⋝ + .gt.slant ⪖ .lt ⋜ + .lt.slant ⪕ .m ≞ .not ≠ .prec ⋞ @@ -318,8 +320,10 @@ gt > .eq ≥ .eq.slant ⩾ .eq.lt ⋛ + .eq.lt.slant ⋛\vs{1} .eq.not ≱ .equiv ≧ + .equiv.slant ⫺ .lt ≷ .lt.not ≹ .neq ⪈ @@ -328,6 +332,7 @@ gt > .not ≯ .ntilde ⋧ .tilde ≳ + .tilde.slant ≳\vs{1} .tilde.not ≵ @deprecated: `gt.tri` is deprecated, use `gt.closed` instead .tri ⊳ @@ -354,8 +359,10 @@ lt < .eq ≤ .eq.slant ⩽ .eq.gt ⋚ + .eq.gt.slant ⋚\vs{1} .eq.not ≰ .equiv ≦ + .equiv.slant ⫹ .gt ≶ .gt.not ≸ .neq ⪇ @@ -364,6 +371,7 @@ lt < .not ≮ .ntilde ⋦ .tilde ≲ + .tilde.slant ≲\vs{1} .tilde.not ≴ @deprecated: `lt.tri` is deprecated, use `lt.closed` instead .tri ⊲ @@ -380,10 +388,14 @@ approx ≈ .not ≉ prec ≺ .approx ⪷ + @deprecated: `prec.curly.eq` is deprecated, use `prec.eq.slant` instead .curly.eq ≼ + @deprecated: `prec.curly.eq` is deprecated, use `prec.eq.slant` instead .curly.eq.not ⋠ .double ⪻ .eq ⪯ + .eq.slant ≼ + .eq.slant.not ⋠ .equiv ⪳ .napprox ⪹ .neq ⪱ @@ -393,10 +405,14 @@ prec ≺ .tilde ≾ succ ≻ .approx ⪸ + @deprecated: `succ.curly.eq` is deprecated, use `succ.eq.slant` instead .curly.eq ≽ + @deprecated: `succ.curly.eq` is deprecated, use `succ.eq.slant` instead .curly.eq.not ⋡ .double ⪼ .eq ⪰ + .eq.slant ≽ + .eq.slant.not ⋡ .equiv ⪴ .napprox ⪺ .neq ⪲ @@ -408,8 +424,10 @@ equiv ≡ .not ≢ smt ⪪ .eq ⪬ + .eq.slant ⪬\vs{1} lat ⪫ .eq ⪭ + .eq.slant ⪭\vs{1} prop ∝ original ⊶ image ⊷ From 27f9163d049857f479691266befae7987b7f5f7a Mon Sep 17 00:00:00 2001 From: Malo <57839069+MDLC01@users.noreply.github.com> Date: Wed, 22 Apr 2026 14:14:35 +0200 Subject: [PATCH 2/3] Add equiv.{lt,gt}.{slant,} --- CHANGELOG.md | 4 ++++ src/modules/sym.txt | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 12bab15..b1b6d81 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -54,6 +54,10 @@ - `lt.closed.not`: ⋪ - `eq.gt.slant`: ⪖ - `eq.lt.slant`: ⪕ + - `equiv.gt`: ⪚ + - `equiv.gt.slant`: ⪜ + - `equiv.lt`: ⪙ + - `equiv.lt.slant`: ⪛ - `gt.eq.lt.slant`: ⋛︀ - `gt.equiv.slant`: ⫺ - `gt.tilde.slant`: ≳︀ diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 1b25ac9..9a46687 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -422,6 +422,10 @@ succ ≻ .tilde ≿ equiv ≡ .not ≢ + .lt ⪙ + .lt.slant ⪛ + .gt ⪚ + .gt.slant ⪜ smt ⪪ .eq ⪬ .eq.slant ⪬\vs{1} From 0ea6b584c4fd846dc3713bdaa55f57ab5da4a370 Mon Sep 17 00:00:00 2001 From: Malo <57839069+MDLC01@users.noreply.github.com> Date: Wed, 22 Apr 2026 15:44:17 +0200 Subject: [PATCH 3/3] Add tilde.{lt,gt}.{slant,} --- CHANGELOG.md | 4 ++++ src/modules/sym.txt | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index b1b6d81..b9ec9dc 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -66,6 +66,10 @@ - `lt.tilde.slant`: ≲︀ - `smt.eq.slant`: ⪬︀ - `lat.eq.slant`: ⪭︀ + - `tilde.gt`: ⪞ + - `tilde.gt.slant`: ⪞︀ + - `tilde.lt`: ⪝ + - `tilde.lt.slant`: ⪝︀ - Miscellaneous technical - `bowtie.stroked`: ⋈ diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 9a46687..bb2e6b8 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -202,6 +202,10 @@ tilde .equiv ≅ .equiv.not ≇ .nequiv ≆ + .lt ⪝ + .lt.slant ⪝\vs{1} + .gt ⪞ + .gt.slant ⪞\vs{1} .not ≁ .rev ∽ .rev.equiv ≌