Nonforking
Part of Math Symbols
Nonforking has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⫝
- Unicode
- U+2ADD
About this symbol
⫝, nonforking, comes from model theory, the branch of logic that studies mathematical structures. Saharon Shelah developed the idea of forking in the 1970s, a precise form of independence, and ⫝ marks the independent case.
Unicode facts
- Official name
- NONFORKING
- Also called
- Independent
- Type
- Maths symbol
- Unicode block
- Supplemental Mathematical Operators
- Unicode group
- Forks
- Added in
- Unicode 3.2 (2002)
- Unicode notes
- An equational logic symbol, not a computing science symbol
- Independence (original concept) is related to non-forking
Click the symbol or any value at the top of the page to copy it. See the full Math Symbols chart for related characters.