Skip to content

Commit 3ec6a7b

Browse files
committed
Add slanted variants of existing symbols
1 parent edebd55 commit 3ec6a7b

2 files changed

Lines changed: 30 additions & 0 deletions

File tree

CHANGELOG.md

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -51,6 +51,16 @@
5151
- `lt.closed.eq`: ⊴
5252
- `lt.closed.eq.not`: ⋬
5353
- `lt.closed.not`: ⋪
54+
- `eq.gt.slant`: ⪖
55+
- `eq.lt.slant`: ⪕
56+
- `gt.eq.lt.slant`: ⋛︀
57+
- `gt.equiv.slant`: ⫺
58+
- `gt.tilde.slant`: ≳︀
59+
- `lt.eq.gt.slant`: ⋚︀
60+
- `tl.equiv.slant`: ⫹
61+
- `lt.tilde.slant`: ≲︀
62+
- `smt.eq.slant`: ⪬︀
63+
- `lat.eq.slant`: ⪭︀
5464

5565
- Miscellaneous technical
5666
- `bowtie.stroked`: ⋈
@@ -120,6 +130,8 @@
120130

121131
- `gt.tri` and variants in favor of `gt.closed`
122132
- `lt.tri` and variants in favor of `lt.closed`
133+
- `prec.curly.eq` and variants in favor of `prec.eq.slant`
134+
- `succ.curly.eq` and variants in favor of `succ.eq.slant`
123135
- `join` and its variants in favor of `bowtie.big` with the same variants
124136

125137
### Removals **(Breaking change)**

src/modules/sym.txt

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -294,7 +294,9 @@ eq =
294294
.equi ≚
295295
.est ≙
296296
.gt ⋝
297+
.gt.slant ⪖
297298
.lt ⋜
299+
.lt.slant ⪕
298300
.m ≞
299301
.not ≠
300302
.prec ⋞
@@ -318,8 +320,10 @@ gt >
318320
.eq ≥
319321
.eq.slant ⩾
320322
.eq.lt ⋛
323+
.eq.lt.slant ⋛\vs{1}
321324
.eq.not ≱
322325
.equiv ≧
326+
.equiv.slant ⫺
323327
.lt ≷
324328
.lt.not ≹
325329
.neq ⪈
@@ -328,6 +332,7 @@ gt >
328332
.not ≯
329333
.ntilde ⋧
330334
.tilde ≳
335+
.tilde.slant ≳\vs{1}
331336
.tilde.not ≵
332337
@deprecated: `gt.tri` is deprecated, use `gt.closed` instead
333338
.tri ⊳
@@ -354,8 +359,10 @@ lt <
354359
.eq ≤
355360
.eq.slant ⩽
356361
.eq.gt ⋚
362+
.eq.gt.slant ⋚\vs{1}
357363
.eq.not ≰
358364
.equiv ≦
365+
.equiv.slant ⫹
359366
.gt ≶
360367
.gt.not ≸
361368
.neq ⪇
@@ -364,6 +371,7 @@ lt <
364371
.not ≮
365372
.ntilde ⋦
366373
.tilde ≲
374+
.tilde.slant ≲\vs{1}
367375
.tilde.not ≴
368376
@deprecated: `lt.tri` is deprecated, use `lt.closed` instead
369377
.tri ⊲
@@ -380,10 +388,14 @@ approx ≈
380388
.not ≉
381389
prec ≺
382390
.approx ⪷
391+
@deprecated: `prec.curly.eq` is deprecated, use `prec.eq.slant` instead
383392
.curly.eq ≼
393+
@deprecated: `prec.curly.eq` is deprecated, use `prec.eq.slant` instead
384394
.curly.eq.not ⋠
385395
.double ⪻
386396
.eq ⪯
397+
.eq.slant ≼
398+
.eq.slant.not ⋠
387399
.equiv ⪳
388400
.napprox ⪹
389401
.neq ⪱
@@ -393,10 +405,14 @@ prec ≺
393405
.tilde ≾
394406
succ ≻
395407
.approx ⪸
408+
@deprecated: `succ.curly.eq` is deprecated, use `succ.eq.slant` instead
396409
.curly.eq ≽
410+
@deprecated: `succ.curly.eq` is deprecated, use `succ.eq.slant` instead
397411
.curly.eq.not ⋡
398412
.double ⪼
399413
.eq ⪰
414+
.eq.slant ≽
415+
.eq.slant.not ⋡
400416
.equiv ⪴
401417
.napprox ⪺
402418
.neq ⪲
@@ -408,8 +424,10 @@ equiv ≡
408424
.not ≢
409425
smt ⪪
410426
.eq ⪬
427+
.eq.slant ⪬\vs{1}
411428
lat ⪫
412429
.eq ⪭
430+
.eq.slant ⪭\vs{1}
413431
prop ∝
414432
original ⊶
415433
image ⊷

0 commit comments

Comments
 (0)