diff --git a/src/modules/sym.txt b/src/modules/sym.txt index c0cdbc4..68cac66 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 ≌ @@ -297,7 +301,9 @@ eq = .equi ≚ .est ≙ .gt ⋝ + .gt.slant ⪖ .lt ⋜ + .lt.slant ⪕ .m ≞ .not ≠ .prec ⋞ @@ -322,8 +328,10 @@ gt > .eq ≥ .eq.slant ⩾ .eq.lt ⋛ + .eq.lt.slant ⋛\vs{1} .eq.not ≱ .equiv ≧ + .equiv.slant ⫺ .lt ≷ .lt.not ≹ .neq ⪈ @@ -332,6 +340,7 @@ gt > .not ≯ .ntilde ⋧ .tilde ≳ + .tilde.slant ≳\vs{1} .tilde.not ≵ .triple ⋙ .triple.nested ⫸ @@ -351,8 +360,10 @@ lt < .eq ≤ .eq.slant ⩽ .eq.gt ⋚ + .eq.gt.slant ⋚\vs{1} .eq.not ≰ .equiv ≦ + .equiv.slant ⫹ .gt ≶ .gt.not ≸ .neq ⪇ @@ -361,6 +372,7 @@ lt < .not ≮ .ntilde ⋦ .tilde ≲ + .tilde.slant ≲\vs{1} .tilde.not ≴ .triple ⋘ .triple.nested ⫷ @@ -370,10 +382,14 @@ approx ≈ .hat ⩯ 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 ⪱ @@ -383,10 +399,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 ⪲ @@ -396,10 +416,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 ⊷