Skip to content

Commit 606b1fe

Browse files
andrewascheandrewasche
authored
Update dictionary.txt (#78)
1 parent 8722595 commit 606b1fe

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎dictionary.txt

+1
Original file line numberDiff line numberDiff line change
@@ -1029,3 +1029,4 @@ _rp ₎
10291029
\VDash ⊫
10301030
\Vdash ⊩
10311031
\Vvdash ⊪
1032+
\nvdash ⊬

0 commit comments

Comments
 (0)