A relational symbol representing independence or transversality between mathematical objects in model theory and geometry.
Examples
Independence notation in probability theory
X \pitchfork Y \text{ denotes that X is independent of Y}
Statistical independence of multiple events
A \pitchfork B \pitchfork C \text{ means mutual independence}
Independence in measure theory
\mathcal{F}_1 \pitchfork \mathcal{F}_2 \text{ indicates independent }\sigma\text{-algebras}