up tack (Q3594846)
Jump to navigation
Jump to search
mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false)
- falsum
- ⊥
- bottom sign
- bottom symbol
Language | Label | Description | Also known as |
---|---|---|---|
English | up tack |
mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false) |
|
Statements
⊥
0 references