Contradiction symbol mathematical notation

Contradiction symbol is a recurring research-paper notation family. Represents an impossible or false proposition reached when assumptions jointly imply incompatible statements.

Contradiction symbol: Represents an impossible or false proposition reached when assumptions jointly imply incompatible statements. Example: A statement and its negation cannot both hold.