symbol
basic element of strings in a formal language
numerical digit
numeric symbol used in combinations to represent numbers in positional numeral systems
up tack
mathematical symbol; the bottom element in lattice theory; the bottom type in type theory; a logical constant denoting contradiction in logic (false)