 | This section needs additional citations for verification. Please help improve this article by adding citations to reliable sources in this section. Unsourced material may be challenged and removed. Find sources: "Up tack" – news · newspapers · books · scholar · JSTOR (May 2014) (Learn how and when to remove this message) |
The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent:
- The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum").
- The bottom element in wheel theory and lattice theory, which also represents absurdum when used for logical semantics
- The bottom type in type theory, which is the bottom element in the subtype relation. This may coincide with the empty type, which represents absurdum under the Curry–Howard correspondence
- The "undefined value" in quantum physics interpretations that reject counterfactual definiteness, as in (r0,⊥)
as well as
- Mixed radix decoding in the APL programming language
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). Tee 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
- Coprimality in number theory
The double tack up symbol (⫫, U+2AEB in Unicode) is a binary relation symbol used to represent:
See also
Notes
- ^ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.
- "Conditional independence notation". 27 March 2020.
