Export to GitHub

sympy - issue #4080

Pretty print Not(Equivalent) and Not(Implies)

Posted on Oct 28, 2013 by Happy Elephant

Instead of printing Not(Equivalent) and Not(Implies) with ¬, we should use ≢ and ↛ (and similarly for LaTeX).

Comment #1

Posted on Oct 31, 2013 by Happy Giraffe

I'm not sure about this, I think the printing should present the structure of the expression. But we could have Nequivalent (Xor?) and Nimplies classes, just like we have Nand.

Comment #2

Posted on Nov 5, 2013 by Happy Elephant

Ok. By the way, our XOR is the base 2 addition version.

Comment #3

Posted on Nov 5, 2013 by Happy Elephant

It wouldn't be the first instance of printing hiding the structure of the expression, though. -x, x/y, and sqrt(x) all hide their true structure.

Comment #4

Posted on Mar 5, 2014 by Happy Elephant

We have moved issues to GitHub https://github.com/sympy/sympy/issues.

Comment #5

Posted on Apr 6, 2014 by Happy Rabbit

Migrated to http://github.com/sympy/sympy/issues/7179

Status: Valid

Labels:
Type-Enhancement Priority-Medium Printing Logic EasyToFix Restrict-AddIssueComment-Commit