fix: use normal operators in decode

luisfbl · Sep 13, 2024 · 7100784 · 7100784
1 parent e25a821
commit 7100784
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/entity/operators.py b/src/entity/operators.py
@@ -17,19 +17,19 @@ def __str__(self):
 
 
 class Conjunction(Operator):
-    symbol = '∧'
+    symbol = '^'
 
 
 class Disjunction(Operator):
-    symbol = '∨'
+    symbol = 'v'
 
 
 class Conditional(Operator):
-    symbol = '→'
+    symbol = '->'
 
 
 class BiConditional(Operator):
-    symbol = '↔'
+    symbol = '<->'
 
 
 class Negation(Base):
@@ -40,7 +40,7 @@ def __str__(self):
         expr_str = f'({self.expr})' if isinstance(self.expr, Operator) or isinstance(self.expr, Negation) \
             else str(self.expr)
 
-        return f'¬{expr_str}'
+        return f'~{expr_str}'
 
 
 class Preposition(Base):