\pitchforkThe \pitchfork symbol is used in mathematical logic and set theory to denote a relation, often representing independence or orthogonality between elements or sets.
Independence relation between sets A and B
A \pitchfork BIndependence relation between elements x and y
x \pitchfork yOrthogonality relation between propositions P and Q
P \pitchfork Q