up tack
(Q3594846)
mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false)
mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false)
Language:
Current Data About
up tack
other details
| aliases |
falsum ⊥ bottom sign bottom symbol |
| description | mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false) |
External Links
| (P646) |
/m/09v2d9q
|
| (P6366) |
2777737725
|