File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 5252 - ` lt.closed.eq ` : ⊴
5353 - ` lt.closed.eq.not ` : ⋬
5454 - ` lt.closed.not ` : ⋪
55+ - ` eq.gt.slant ` : ⪖
56+ - ` eq.lt.slant ` : ⪕
57+ - ` gt.eq.lt.slant ` : ⋛︀
58+ - ` gt.equiv.slant ` : ⫺
59+ - ` gt.tilde.slant ` : ≳︀
60+ - ` lt.eq.gt.slant ` : ⋚︀
61+ - ` tl.equiv.slant ` : ⫹
62+ - ` lt.tilde.slant ` : ≲︀
63+ - ` smt.eq.slant ` : ⪬︀
64+ - ` lat.eq.slant ` : ⪭︀
5565
5666- Miscellaneous technical
5767 - ` bowtie.stroked ` : ⋈
121131
122132- ` gt.tri ` and variants in favor of ` gt.closed `
123133- ` lt.tri ` and variants in favor of ` lt.closed `
134+ - ` prec.curly.eq ` and variants in favor of ` prec.eq.slant `
135+ - ` succ.curly.eq ` and variants in favor of ` succ.eq.slant `
124136- ` join ` and its variants in favor of ` bowtie.big ` with the same variants
125137
126138### Removals ** (Breaking change)**
Original file line number Diff line number Diff line change 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 ⪈
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 ⪇
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 ≉
381389prec ≺
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 ≾
394406succ ≻
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 ≢
409425smt ⪪
410426 .eq ⪬
427+ .eq.slant ⪬\vs{1}
411428lat ⪫
412429 .eq ⪭
430+ .eq.slant ⪭\vs{1}
413431prop ∝
414432original ⊶
415433image ⊷
You can’t perform that action at this time.
0 commit comments