U+22A9 "⊩" Forces Unicode Character

U+22A9 "⊩" Forces is a mathematical symbol used in logic and formal semantics, particularly in the context of modal logic and possible world semantics, to represent the forcing relation. It is most famously employed in forcing theory, a technique in set theory developed by Paul Cohen to prove independence results, such as the independence of the Continuum Hypothesis from Zermelo-Fraenkel set theory. In this setting, the symbol "⊩" denotes that a certain condition forces a particular statement to be true in a generic extension of a model of set theory, making it a critical notation for expressing relationships between partially ordered sets and logical formulas.