U+22D4 "⋔" Pitchfork Unicode Character
Unicode Version 17.0
⋔
U+22D4 "⋔" Pitchfork is a mathematical symbol that resembles an uppercase T with a double horizontal bar, or a trident with two prongs, and is primarily used in formal logic and set theory to denote the relation of perpendicularity, orthogonality, or disjointness between sets, often indicating that two sets have no elements in common or that two logical formulas are contradictory. It functions as a counterpart to the more common "pitchfork" or "top" symbol (⊤), and in some contexts it may also represent the Sheffer stroke or NAND operator in symbolic logic.
General Properties
| Code Point | U+22D4 |
| Version Added | 1.1 |
| Name | Pitchfork |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ⋔ |
| HTML Hex Encoding | ⋔ |
| UTF-8 Encoding | 0xE2 0x8B 0x94 |
| UTF-16 Encoding | 0x22D4 |
| UTF-32 Encoding | 0x000022D4 |
| C/C++/Java Escape | \u22d4 |
Unicode Properties
| NFC Quick Check | Yes |
| NFD Quick Check | Yes |
| NFKC Quick Check | Yes |
| NFKD Quick Check | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| 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 |