Symbols and Punctuation symbol
\botThe symbol \bot is used to denote the bottom element in lattice theory, the false value in logic, or orthogonality in geometry.
A is orthogonal to B in geometry.
A \bot Bx is an element of the bottom set in lattice theory.
x \in \botP implies false, used in logic to denote contradiction.
P \Rightarrow \bot