# Symbols:Symbolic Logic/Bottom

## Bottom

$\bot$

Bottom is a constant of propositional logic interpreted to mean the canonical, undoubted contradiction whose falsehood nobody could possibly ever question.

The symbol used is $\bot$.

The $\LaTeX$ code for $\bot$ is \bot .