diff --git a/CHANGELOG.md b/CHANGELOG.md index e6e8db4..b9ec9dc 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -52,6 +52,24 @@ - `lt.closed.eq`: ⊴ - `lt.closed.eq.not`: ⋬ - `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`: ≳︀ + - `lt.eq.gt.slant`: ⋚︀ + - `tl.equiv.slant`: ⫹ + - `lt.tilde.slant`: ≲︀ + - `smt.eq.slant`: ⪬︀ + - `lat.eq.slant`: ⪭︀ + - `tilde.gt`: ⪞ + - `tilde.gt.slant`: ⪞︀ + - `tilde.lt`: ⪝ + - `tilde.lt.slant`: ⪝︀ - Miscellaneous technical - `bowtie.stroked`: ⋈ @@ -121,6 +139,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..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 ≌ @@ -294,7 +298,9 @@ eq = .equi ≚ .est ≙ .gt ⋝ + .gt.slant ⪖ .lt ⋜ + .lt.slant ⪕ .m ≞ .not ≠ .prec ⋞ @@ -318,8 +324,10 @@ gt > .eq ≥ .eq.slant ⩾ .eq.lt ⋛ + .eq.lt.slant ⋛\vs{1} .eq.not ≱ .equiv ≧ + .equiv.slant ⫺ .lt ≷ .lt.not ≹ .neq ⪈ @@ -328,6 +336,7 @@ gt > .not ≯ .ntilde ⋧ .tilde ≳ + .tilde.slant ≳\vs{1} .tilde.not ≵ @deprecated: `gt.tri` is deprecated, use `gt.closed` instead .tri ⊳ @@ -354,8 +363,10 @@ lt < .eq ≤ .eq.slant ⩽ .eq.gt ⋚ + .eq.gt.slant ⋚\vs{1} .eq.not ≰ .equiv ≦ + .equiv.slant ⫹ .gt ≶ .gt.not ≸ .neq ⪇ @@ -364,6 +375,7 @@ lt < .not ≮ .ntilde ⋦ .tilde ≲ + .tilde.slant ≲\vs{1} .tilde.not ≴ @deprecated: `lt.tri` is deprecated, use `lt.closed` instead .tri ⊲ @@ -380,10 +392,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 +409,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 ⪲ @@ -406,10 +426,16 @@ succ ≻ .tilde ≿ equiv ≡ .not ≢ + .lt ⪙ + .lt.slant ⪛ + .gt ⪚ + .gt.slant ⪜ smt ⪪ .eq ⪬ + .eq.slant ⪬\vs{1} lat ⪫ .eq ⪭ + .eq.slant ⪭\vs{1} prop ∝ original ⊶ image ⊷