From 12c0001baa37bef59ea4f02d8e0fda5ce9d7e181 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sun, 23 Dec 2012 14:20:10 +0100 Subject: add unicode support MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- sets.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'sets.py') 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): -- cgit v1.2.3-70-g09d2