sympy/sympy — pull request #7541 by debugger22 (2014-05-30 13:05:47+00:00)
Title: Fixes printing for Not(Equivalent) and Not(Implies).

fixes #7179