Relevant real Microsoft patent on the IS NOT OPERATOR:

https://appft1.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2...