From fbe87fa4331179ac64a18a2af0b7bfa768f9ceac Mon Sep 17 00:00:00 2001
From: trivernis <trivernis@protonmail.com>
Date: Mon, 3 Aug 2020 10:02:46 +0200
Subject: [PATCH] Add logical symbols

---
 src/tokens/constants/logical.rs | 12 ++++++++++++
 src/tokens/constants/mod.rs     |  3 ++-
 2 files changed, 14 insertions(+), 1 deletion(-)
 create mode 100644 src/tokens/constants/logical.rs

diff --git a/src/tokens/constants/logical.rs b/src/tokens/constants/logical.rs
new file mode 100644
index 0000000..1417823
--- /dev/null
+++ b/src/tokens/constants/logical.rs
@@ -0,0 +1,12 @@
+pub const G_AND: &'static[&str] = &["and"];
+pub const G_OR: &'static[&str] = &["or"];
+pub const G_NOT: &'static[&str] = &["not", "neg"];
+pub const G_IMPLIES: &'static[&str] = &["=>", "implies"];
+pub const G_IF: &'static[&str] = &["if"];
+pub const G_IFF: &'static[&str] = &["<=>", "iff"];
+pub const G_FORALL: &'static[&str] = &["AA", "forall"];
+pub const G_EXISTS: &'static[&str] = &["EE", "exists"];
+pub const G_BOT: &'static[&str] = &["_|_", "bot"];
+pub const G_TOP: &'static[&str] = &["TT", "top"];
+pub const G_VDASH: &'static[&str] = &["|--", "vdash"];
+pub const G_MODELS: &'static[&str] = &["|==", "models"];
\ No newline at end of file
diff --git a/src/tokens/constants/mod.rs b/src/tokens/constants/mod.rs
index 638b8bf..cf57541 100644
--- a/src/tokens/constants/mod.rs
+++ b/src/tokens/constants/mod.rs
@@ -1,3 +1,4 @@
 pub mod operations;
 pub mod misc;
-pub mod relation;
\ No newline at end of file
+pub mod relation;
+pub mod logical;
\ No newline at end of file