Letter-like symbols\top

\topSymbol

The ⊤ symbol (Down tack, U+22A4), written as \top in LaTeX math mode.

\top

Topic: Letter-like symbols
Available in: base
Allowed mode: math
Frequency: 0.56% of corpus formulasrank 82 of 474
Glyph: ⊤
Unicode: U+22A4 · DOWN TACK

In TeXForm#

TeXForm parses this entry as a character leaf mapped to U+22A4 (DOWN TACK).

See also#

\backslash base
\lnot base
\neg base

In Letter-like symbols61

All 61 in Letter-like symbols