Top is a constant of propositional logic interpreted to mean the canonical, undoubted tautology whose truth nobody could possibly ever question.
The symbol used is $\top$.
The $\LaTeX$ code for \(\top\) is \top .
\top