⊥

Symbol

 * 1)  A contradiction; a truth value corresponding to false.
 * 2)  The bottom element of a lattice.
 * 3)  The bottom type of a type system.
 * 4)  The ISO 2047 symbol for Start of Text.