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 ⋏