Not combinator

robrix

Inverting matches is often useful. But what is the derivative…?