752
I ๐Ÿ–ค LaTeX (mander.xyz)
submitted 1 year ago by to c/science_memes@mander.xyz
122 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] 3 points 1 year ago (6 children)

Tf even is that symbol? Looks like Box-drawing characters to me

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 6 child 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.

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

    What's up tack?

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 4 child comments
    •