Symbols:Symbolic Logic/Top

$\top$
The symbol used is $\top$.
The $\LaTeX$ code for $\top$ is \top .