From b9d03be9755dae7f439763d181ec0c55a1e4c3d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Murphy=20S=C3=BCnnenwold?= <git@murphy-in.space>
Date: Wed, 24 May 2023 16:46:06 +0200
Subject: [PATCH] add r.double.not (#1315)

---
 library/src/symbols/sym.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs
index b49704bbd..410eff4ff 100644
--- a/library/src/symbols/sym.rs
+++ b/library/src/symbols/sym.rs
@@ -720,6 +720,7 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! {
         r: '⊢',
         r.long: '⟝',
         r.double: '⊨',
+        r.double.not: '⊭',
         l: '⊣',
         l.long: '⟞',
         l.short: '⫞',