U+22A4 "⊤" Down Tack Unicode Character

U+22A4 "⊤" Down Tack is a mathematical symbol that denotes logical truth, the top element in a lattice or order theory, or a constant true value in formal logic, often contrasted with the up tack (⊥) which represents falsity. In type theory and computer science, it is used to represent the unit type or a terminal object in certain categorical contexts, signifying a type with exactly one value or a universally accepted proposition. Its visual appearance, resembling an inverted "T", makes it a concise marker for absolute truth or maximal elements across various branches of mathematics and theoretical computing.