Definify.com

Definition 2024

⊥

⊥

⊥	U+22A5, ⊥ (LaTeX: `\bot`) UP TACK

← ⊤
[U+22A4]

Mathematical Operators

⊦ →
[U+22A6]

See also: ⟂ [U+27C2 PERPENDICULAR], ˔ [U+02D4 MODIFIER LETTER UP TACK], and 丄 [U+4E04 CJK UNIFIED IDEOGRAPH-4E04]

Translingual

Symbol

⊥

(logic) contradiction
(algebra, logic) Boolean value corresponding to false
(type theory) bottom type

Coordinate terms

⊦, ⊧, ⊨

Synonyms

(Boolean falsity): 0

Antonyms

(Boolean falsity): ⊤, 1

Japanese

Symbol

⊥

cemetery