Common
Up tack
Symbol used in mathematics and logic
Up tack
"Up tack" is the Unicode name for a symbol (⊥, \bot in LaTeX, U+22A5 in Unicode) that is also called "bottom", "falsum", "absurdum", or "absurdity", depending on context. It is used to represent: The truth value 'false', or a logical constant denoting a proposition in logic that is always false. (The names "falsum", "absurdum" and "absurdity" come from this context.) 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...
Open boosters, collect cards and trade them. Free to play.
Play for free