feat: Adding nvDash logic proof symbol from #69 (#85)

DenverCoder1 · Oct 4, 2022 · cd02ca5 · cd02ca5
1 parent b93b7f3
commit cd02ca5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dictionary.txt b/dictionary.txt
@@ -1032,3 +1032,4 @@ _rp	₎
 \Vvdash	⊪	
 \nvdash	⊬	
 \vDash	⊨	
+\nvDash	⊭