up tack
mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false)
en-US/ˈʌp ˈtæk/
en-GB/ˈʌp ˈtæk/
mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false)