Up tack

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^[1]) 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
  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 (r₀,⊥)

as well as

• Mixed radix decoding in the APL programming language

The

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
• random variables in probability theory
• Coprimality in number theory

The double tack up symbol (⫫, U+2AEB in Unicode^[1]) is a binary relation symbol used to represent:

• random variables in probability theory^[2]

See also

• Alternative plus sign
• Contradiction
• List of mathematical symbols
• Tee (symbol) (⊤)

Notes