toIPA
Home
Blog
Category
Up tack
mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false)
Pronunciation
/ʌp tak/
/əp tæk/
Categories
mathematical symbol
symbol
character