SgtMook/sympy — comment on commit ca77efdd77b4c633bcec15104f6f2359b69556d9
File: sympy/logic/boolalg.py line 139
By haz:

Should also include an example of using Not with a formula.