A relational symbol representing perpendicularity between geometric objects or orthogonality between mathematical entities.
Examples
Perpendicular lines in geometry
l_1 \bot l_2
Orthogonal vectors
\vec{u} \bot \vec{v} \iff \vec{u} \cdot \vec{v} = 0
Bottom element in lattice theory
x \wedge \bot = \bot