add unicode support

Signed-off-by: Mattias Andrée <maandree@operamail.com>

1 files changed, 6 insertions, 1 deletions

diff --git a/sets.py b/sets.py
index eae0eef..9a514ae 100644
--- a/sets.py
+++ b/sets.py
@@ -109,7 +109,12 @@ if len(next.elems) > 0:
 formula = sys.argv[1]
 formula = formula.replace('\\', '-').replace('*', '&').replace('+', '|')
 formula = formula.replace('C', '~').replace('!', '~').replace('¬', '~')
-
+formula = formula.replace('∁', '~').replace('∅', '0').replace('∆', '^')
+formula = formula.replace('∧', '&').replace('∨', '|').replace('∩', '&')
+formula = formula.replace('∪', '|').replace('⊗', '^').replace('⊻', '^')
+formula = formula.replace('⋀', '&').replace('⋁', '|').replace('⋂', '&')
+formula = formula.replace('⋃', '|').replace('Ω', 'U').replace('Ω', 'U')
+formula = formula.replace('⊕', '^').replace('𝓤', 'U').replace('↛', '-')
 
 
 for i in range(0, 10):