We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
A T standing for a proposition true in every case.
Also known as: Tautology sign, Truth constant, Top element
Verum is the proposition true under every interpretation, the counterpart of falsum. It also names the top element of an ordered set, and in type theory it names the unit type, so the character travels between subjects with related but distinct meanings.
Denotes the constantly true proposition, the counterpart of falsum.
Contexts: Mathematics
Also names the greatest element of a partially ordered set and, in type theory, the type with exactly one value.
Contexts: Mathematics
A horizontal line with a shorter upright stroke descending from its centre, forming a plain letter T.