Pitchfork

Pitchfork at U+22D4 denotes a specialized relation sign shaped like a forked stem, used mainly in formal mathematics rather than everyday writing. It is part of the Mathematical Operators block and functions as a symbolic operator or relation whose exact meaning depends on the author’s convention. Its most common appearances are in algebra, logic, and theoretical computer science, where it may be assigned to a custom relation such as transversality, incompatibility, independence, or a forcing-style relation in a particular text. For example, a paper may define x ⋔ y to mean that two structures meet transversely, or use it as a compact notation for a relation introduced earlier. Because the pitchfork is not tied to one universal meaning, readers should look for a definition in the surrounding article, textbook, or notation table. It is visually related to other relation symbols, but it should not be assumed to mean “therefore,” “entails,” or an ordinary intersection unless the source explicitly says so.