[contravariant]

I've seen it used for contradiction. Though that's not the same thing as 'not' and I can't think of why you'd combine this with orthogonality.