Skip to content

Commit d0d4aa0

Browse files
authored
Add smaller than and larger than symbols (Proposal 11) (#13)
1 parent 35c18a1 commit d0d4aa0

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/modules/sym.txt

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -361,6 +361,10 @@ succ ≻
361361
.tilde ≿
362362
equiv ≡
363363
.not ≢
364+
smt ⪪
365+
.eq ⪬
366+
lat ⪫
367+
.eq ⪭
364368
prop ∝
365369
original ⊶
366370
image ⊷

0 commit comments

Comments
 (0)