From a565a38f6199cdffce6f9a6995bfcdc8253d9894 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sun, 23 Dec 2012 14:09:56 +0100 Subject: add suppot for ¬ MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- sets.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sets.py b/sets.py index af0cd4e..eae0eef 100644 --- a/sets.py +++ b/sets.py @@ -108,7 +108,9 @@ if len(next.elems) > 0: formula = sys.argv[1] formula = formula.replace('\\', '-').replace('*', '&').replace('+', '|') -formula = formula.replace('C', '~').replace('!', '~') +formula = formula.replace('C', '~').replace('!', '~').replace('¬', '~') + + for i in range(0, 10): formula = formula.replace('%i' % i, 'sets[%i]' % i) -- cgit v1.2.3-70-g09d2