Explore relationships

Down tack

The tee (⊤, \top in LaTeX), also called down tack (as opposed to the up tack) or verum, is a symbol used to represent: The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true.

Use + to expand a branch. Click a topic name to open its summary.