Proof by contrapositive mathematical notation

Proof by contrapositive is a recurring research-paper notation family. Proves P implies Q by establishing the logically equivalent implication from not Q to not P.

Proof by contrapositive: Proves P implies Q by establishing the logically equivalent implication from not Q to not P. Example: Show that failure of the conclusion forces failure of the premise.