U+22D4 "⋔" Pitchfork Unicode Character

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.