Nonforking Symbol
⫝ (U+2ADD) is the Nonforking symbol used in mathematical logic and model theory.
U+2ADD
⫝ is a Unicode math symbol known as “NONFORKING.” It’s most often encountered in formal writing about model theory and stability. Use it wherever your notation needs a nonforking relation.
Nonforking Symbol Meaning
⫝ is the Unicode symbol named “NONFORKING” (U+2ADD). In mathematical logic, especially stability theory and model theory, a nonforking relation helps express when types or extensions behave “independently” in a controlled way. The exact meaning depends on the surrounding formalism (e.g., what structure, theory, or notion of independence you are working with). In practice, writers use ⫝ as a compact, typeset symbol to avoid lengthy phrases, keeping proofs, statements, and definitions readable.
Common uses
- •Writing model theory or stability theory notation in papers and notes
- •Labeling or referencing a nonforking relation in formal definitions
- •Adding a specialized symbol to math-focused LaTeX-like documents or Unicode math text
- •Formatting educational content where independence/nonforking is discussed
- •Using the symbol in diagrams, equations, or screenshots that require copyable Unicode
Examples
⫝ Nonforking Symbol
- ⫝A ⫝_C B describes a nonforking relation over C.
- ⫝We assume tp(a/BC) ⫝ tp(a/B) in the given setting.
- ⫝Let ⫝ denote the nonforking independence relation.
- ⫝If x ⫝_A y then the extension preserves the required property.
- ⫝The statement uses ⫝ to distinguish nonforking from forking cases.
Variations
Ready to copy
Technical codes
| Unicode | U+2ADD | |
| HTML Entity | ⫝ | |
| HTML Code | ⫝ | |
| CSS | \2ADD | |
| Alt Code | Alt + 10973 | |
| Decimal | 10973 |
How to type Nonforking Symbol (⫝)
On Windows
Hold Alt and type 10973 on the numeric keypad. In Word, type 2ADD then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 2ADD. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 2add, then press Enter or Space.
Anywhere
Copy ⫝ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does ⫝ mean?
⫝ is the Unicode “NONFORKING” symbol (U+2ADD), commonly used in mathematical logic/model theory to denote a nonforking relation.
How do I type ⫝ on my device?
Copy it directly from this page, or use the provided Unicode escapes (HTML ⫝, CSS \\2ADD, or JavaScript \\u{2ADD}).
How can I use ⫝ in HTML?
You can insert it using the HTML entity: ⫝
How do I use ⫝ in CSS or JavaScript?
CSS: use \\2ADD. JavaScript: use \\u{2ADD} in a string.