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

Funnily, just the other day I was reverse looking up what a symbol was in LaTeX, i.e. I had the \symbol text but not the symbol itself. So I look up whatever that symbol was in text, along with the word 'latex.' I think the search was 'cup latex.' Colour me surprised when I go to 'images', try and see if an image of it shows up. It was not LaTeX. Not with that capitalisation

  • source
  • hideshow 8 child comments
  • [โ€“] 6 points 1 year ago (7 children)

    I had a similar experience looking up the code for โŠฅ, I didn't realize the world has given a very specific meaning to the words "latex bottom"

  • source
  • parent
  • hideshow 7 child comments
  • [โ€“] 3 points 1 year ago (6 children)
  • [โ€“] 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)