Up tack
From Infogalactic: the planetary knowledge core
The up tack or falsum (⊥, \bot
in LaTeX, U+22A5 in Unicode^{[1]}) is a constant symbol used to represent:
- The bottom element in lattice theory
- The bottom type in type theory
- A logical constant denoting contradiction in logic (false)
The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse).^{[citation needed]}
The tee (⊤), also called down tack, plays a complementary or dual role in many of these theories.
The similar-looking perpendicular symbol (⟂, \perp
in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent:
- Perpendicularity of lines in geometry
- Orthogonality in linear algebra
- Independence of random variables in probability theory
- Comparability in order theory
- Coprimality in number theory
See also
Notes
- ↑ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
This mathematics-related article is a stub. You can help Infogalactic by expanding it. |
This psychology-related article is a stub. You can help Infogalactic by expanding it. |