"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.
"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.
Source: Wikipedia "Up tack" · CC BY-SA 4.0
Share this article: X · Bluesky