U+2ADD "⫝" Nonforking Unicode Character

U+2ADD "⫝" Nonforking is a mathematical symbol used primarily in logic, model theory, and abstract algebra to represent a specific kind of relation or operation that does not split or branch into distinct cases. It belongs to the Supplemental Mathematical Operators block and is formally named "NONFORKING," often denoting a binary relation where one element does not fork from another in the sense of independence or non-divergence within a structure. In practice, this symbol helps mathematicians and logicians concisely express conditions where two entities remain connected without branching, making it a useful glyph in technical notation and theoretical proofs.