RE: RE: Mathematics Symbols in English
You are viewing a single comment's thread from:

RE: Mathematics Symbols in English

Words
75
Reading
1 min
Listen
Play
8y

Up tack
The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent:

The bottom element in lattice theory
The bottom type in type theory
A logical constant denoting "false" in logicThe glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse). Tee plays a complementary or dual role in many of these theories.