U+22A5 • logic
Up tack (⊥) is a symbol representing the logical constant 'false' or contradiction in formal logic. It denotes a statement that is always false, used in proofs and logical expressions to indicate inconsistency or contradiction.
The Symbol For Up Tack (⊥) is a unicode character in the Basic Multilingual Plane Plane. It is found in the Mathematical Operators block and was approved as part of Unicode Version 1.1 in 1993
logicfalsecontradictionsymbolformal-logicmathematicsconstantnotationproof-theoryfalsityCopy the Up Tack dymbol to your clipboard to use on Twitter, Instagram, Discord and more in one click.
⊥ Click to copy