you are viewing a single comment's thread
view the rest of the comments
[โ€“] 3 points 1 year ago (5 children)

It's "up tack": https://en.wikipedia.org/wiki/Up_tack

I always pronounced it bottom because of https://en.wikipedia.org/wiki/Greatest_element_and_least_element#Top_and_bottom or https://en.wikipedia.org/wiki/Bottom_type which is how the Haskell report (where I got comfortable with the symbol) uses it.

  • source
  • parent
  • hideshow 5 child comments
  • [โ€“] 2 points 1 year ago (4 children)