From f9714bbd45d06b427db775dea33592b7b64cb1cc Mon Sep 17 00:00:00 2001
From: Malo <57839069+MDLC01@users.noreply.github.com>
Date: Sun, 12 Jul 2026 21:17:03 +0200
Subject: [PATCH] Add `not.rev` and `not.inv`

---
 src/modules/sym.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/modules/sym.txt b/src/modules/sym.txt
index 49daf5e..0954974 100644
--- a/src/modules/sym.txt
+++ b/src/modules/sym.txt
@@ -536,6 +536,8 @@ exists ∃
 top ⊤
 bot ⊥
 not ¬
+  .inv ⌙
+  .rev ⌐
 and ∧
   .big ⋀
   .curly ⋏