fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · il y a 7 moisI 🖤 LaTeXmander.xyzimagemessage-square128fedilinkarrow-up1843arrow-down120
arrow-up1823arrow-down1imageI 🖤 LaTeXmander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · il y a 7 moismessage-square128fedilink
minus-squareshmanio@lemmy.worldlinkfedilinkEnglisharrow-up6·il y a 7 moisI 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”
minus-squarelemmyknow@lemmy.todaylinkfedilinkEnglisharrow-up3·il y a 7 moisTf even is that symbol? Looks like Box-drawing characters to me
minus-squarebss03@infosec.publinkfedilinkEnglisharrow-up3·il y a 7 moisIt’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.
minus-squarexx3rawr@sh.itjust.workslinkfedilinkEnglisharrow-up2·il y a 7 moisNothin’, what’s up with you?
minus-squarelemmyknow@lemmy.todaylinkfedilinkEnglisharrow-up1·il y a 7 moisOi, bruv. Just wanned to know wassup. No need to middle-finger me (without emojis)
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”
Tf even is that symbol? Looks like Box-drawing characters to me
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.
What’s up tack?
Nothin’, what’s up with you?
Nun, wazup witcha?
⊥
Oi, bruv. Just wanned to know wassup. No need to middle-finger me (without emojis)