Comment

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

Sort:hotnew top

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”

source
- 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
    -> View More Comments