added .not. support for sympy

[schreiberx]

This adds .not. support for sympy.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 99.95%. Comparing base (93d5826) to head (1ed9edb).
⚠️ Report is 5 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #3394   +/-   ##
=======================================
  Coverage   99.95%   99.95%           
=======================================
  Files         387      387           
  Lines       54310    54317    +7     
=======================================
+ Hits        54288    54295    +7     
  Misses         22       22           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[hiker]

Hi Martin, thanks a lot for fixing this (embarrassing that I've missed the .not.). A small code simplification, and a missing test to cover all lines is all, otherwise it's good to go.

[schreiberx]

... (embarrassing that I've missed the .not.).

It's not embarrassing, it was great work you did, just missing something small :-) !

Ready for next review round.

[hiker]

Looking good, I've triggered the IT.

[hiker]

IT were green, all comments addressed. Waiting for github tests to finish before proceeding to merge.