From 1462786d4ed7ec98ab6721a8238c5ed41f4bc5b7 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Mon, 21 Jan 2013 03:01:35 +0100 Subject: info: using MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- sets.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'sets.py') diff --git a/sets.py b/sets.py index d9330a4..89dc61c 100755 --- a/sets.py +++ b/sets.py @@ -83,7 +83,7 @@ if sys.argv[1].startswith('-'): print( ' ^ ⊕ ∆ ⊗ ⊻ Symmetrical difference (parity/xor)') print( ' & * ∧ ⋀ ∩ ⋂ Intersection (and)') print( ' | + ∨ ⋁ ∪ ⋃ Union (or)') - print(' - \\ ↛ Difference (material nonimplication/abjunction)') + print(' - − \\ ↛ Difference (material nonimplication/abjunction)') print( ' 0 ∅ Empty set (false)') print( ' U Ω Ω 𝓤 Universe (true)') print() @@ -210,6 +210,7 @@ formula = formula.replace('∪', '|').replace('⊗', '^').replace('⊻', '^') formula = formula.replace('⋀', '&').replace('⋁', '|').replace('⋂', '&') formula = formula.replace('⋃', '|').replace('Ω', 'U').replace('Ω', 'U') formula = formula.replace('⊕', '^').replace('𝓤', 'U').replace('↛', '-') +formula = formula.replace('−', '-') for i in range(0, 10): -- cgit v1.2.3-70-g09d2