U+2ADC "⫝̸" Forking Unicode Character

U+2ADC "⫝̸" Forking is a mathematical symbol from the Supplemental Mathematical Operators block, primarily used in formal logic and set theory to denote a binary relation that indicates one set or element is forking from another, often representing a notion of independence or non-dependency in model theory. Its design features two converging vertical lines that split into separate paths, visually suggesting a point of divergence. This symbol is distinct from similar looking characters like the pitchfork or the logical disjunction sign, and it serves a specialized role in advanced mathematical discourse, particularly where precise notation for forking independence is required.