U+2ADC "⫝̸" Forking Unicode Character
Unicode Version 17.0
⫝̸
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.
General Properties
| Code Point | U+2ADC |
| Version Added | 3.2 |
| Name | Forking |
| Block | Supplemental Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Decomposition Type | Canonical |
| Decomposition Mapping | "⫝" U+2ADD Nonforking "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⫝̸ |
| HTML Hex Encoding | ⫝̸ |
| UTF-8 Encoding | 0xE2 0xAB 0x9C |
| UTF-16 Encoding | 0x2ADC |
| UTF-32 Encoding | 0x00002ADC |
| C/C++/Java Escape | \u2adc |
Unicode Properties
| Composition Exclusion | Yes |
| Full Composition Exclusion | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| Changes When NFKC Casefolded | Yes |
| NFKC Casefold | "⫝" U+2ADD Nonforking "̸" U+0338 Combining Long Solidus Overlay |
| NFKC Simple Casefold | "⫝" U+2ADD Nonforking "̸" U+0338 Combining Long Solidus Overlay |
| Script | Common |
| Script Extensions | Common |
| Indic Syllabic Category | Other |
| Pattern Syntax | Yes |
| Math | Yes |
| Vertical Orientation | Rotated |
| Grapheme Base | Yes |
| Grapheme Cluster Break | Other |
| Word Break | Other |
| Sentence Break | Other |