From 1b2254f13f7e9b131236f0397c279f3c6dec3498 Mon Sep 17 00:00:00 2001
From: Deepshri M <92997066+Deepshaded@users.noreply.github.com>
Date: Tue, 4 Oct 2022 17:03:24 +0530
Subject: [PATCH] Adding Mathematical logic proof symbol from #69

---
 dictionary.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dictionary.txt b/dictionary.txt
index ecd918b..b0d7c49 100644
--- a/dictionary.txt
+++ b/dictionary.txt
@@ -1032,3 +1032,4 @@ _rp	₎
 \Vvdash	⊪	
 \nvdash	⊬	
 \vDash	⊨	
+\nvDash	⊭