Pitchfork Symbol
⋔ (pitchfork) is a math symbol often used to represent a pitchfork-like relation or operator.
U+22D4
The symbol ⋔ is known as the pitchfork (Unicode U+22D4). It appears most often in mathematical or technical writing where a specific operator-style mark is needed. Below you’ll find copy options, common uses, and practical examples.
Pitchfork Symbol Meaning
⋔ is the Unicode “pitchfork” symbol (U+22D4). In mathematical and technical contexts, it’s typically used as an operator or relation sign, resembling a pitchfork form. Depending on the font and surrounding notation, it can be used to indicate a specific relation in logic, set- or order-related descriptions, or specialized operator definitions within a document. Because it’s a dedicated Unicode character, it’s also useful when you want consistent rendering across platforms, rather than relying on custom images.
Common uses
- •Labeling or defining a custom mathematical operator in notes
- •Writing logic or relation symbols in technical documents
- •Marking an operator or transformation in diagrams and worksheets
- •Designing math-themed UI elements, icons, or typographic accents
- •Adding precise Unicode symbols in posts, slides, and tutorials
Examples
⋔ Pitchfork Symbol (U+22D4)
- ⋔Let ⋔ denote the relation used in this section.
- ⋔We write A ⋔ B to indicate the chosen correspondence.
- ⋔The operator ⋔ appears in the next theorem.
- ⋔In the diagram, the edge is labeled with ⋔.
- ⋔Use U+22D4 (⋔) for consistent pitchfork rendering.
Variations
Ready to copy
Technical codes
| Unicode | U+22D4 | |
| HTML Entity | ⋔ | |
| HTML Code | ⋔ | |
| CSS | \22D4 | |
| Alt Code | Alt + 8916 | |
| Decimal | 8916 |
How to type Pitchfork Symbol (⋔)
On Windows
Hold Alt and type 8916 on the numeric keypad. In Word, type 22D4 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22D4. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22d4, 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 the Pitchfork symbol mean?
⋔ is the Unicode “pitchfork” symbol (U+22D4). In mathematical and technical contexts, it’s typically used as an operator or relation sign, resembling a pitchfork form. Depending on the font and surrounding notation, it can be used to indicate a specific relation in logic, set- or order-related descriptions, or specialized operator definitions within a document. Because it’s a dedicated Unicode character, it’s also useful when you want consistent rendering across platforms, rather than relying on custom images.
What Unicode character is the pitchfork symbol ⋔?
It is Unicode U+22D4, named “PITCHFORK.”
How can I copy ⋔ into HTML?
You can use the HTML entity: ⋔.
What is the CSS escape for ⋔?
The CSS escape is \\22D4.
Where is ⋔ most commonly used?
It’s mainly used in mathematical or technical writing as an operator/relation-style symbol.