You are viewing a single comment's thread from:

RE: Mathematics Symbols in English

in #mathematics • 6 years ago (edited)

⊥ gets a lot of use, it can be the NOR operator, or the bottom element in a lattice, or just "false". https://en.wikipedia.org/wiki/Up_tack claims that there is a separate Unicode symbol for perpendicular, but it's not one by browser renders. :)

What is the source of this picture?

6 years ago in #mathematics by
$0.00
    Reply 1
    Sort:  
  • Trending
    • [-]
     6 years ago 

    Up tack
    The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent:

    The bottom element in lattice theory
    The bottom type in type theory
    A logical constant denoting "false" in logicThe glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse). Tee plays a complementary or dual role in many of these theories.

    $0.00
      Reply