Comment

Comment on I 🖤 LaTeX

shmanio@lemmy.world ⁨3⁩ ⁨weeks⁩ ago

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”

Sort:hotnew top

lemmyknow@lemmy.today ⁨3⁩ ⁨weeks⁩ ago
Tf even is that symbol? Looks like Box-drawing characters to me

source
- bss03@infosec.pub ⁨3⁩ ⁨weeks⁩ ago
  It’s “up tack”: en.wikipedia.org/wiki/Up_tack
  
  I always pronounced it bottom because of en.wikipedia.org/…/Greatest_element_and_least_ele… or en.wikipedia.org/wiki/Bottom_type which is how the Haskell report (where I got comfortable with the symbol) uses it.
  
  source
  - lemmyknow@lemmy.today ⁨3⁩ ⁨weeks⁩ ago
    What’s up tack?
    
    source
    xx3rawr@sh.itjust.works ⁨3⁩ ⁨weeks⁩ ago
    Nothin’, what’s up with you?
    
    source
    -> View More Comments
    bss03@infosec.pub ⁨3⁩ ⁨weeks⁩ ago
    ⊥
    
    source
    -> View More Comments