fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 3 days agoI 🖤 LaTeXmander.xyzimagemessage-square129fedilinkarrow-up1833arrow-down120
arrow-up1813arrow-down1imageI 🖤 LaTeXmander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 3 days agomessage-square129fedilink
minus-squareshmanio@lemmy.worldlinkfedilinkEnglisharrow-up6·3 days agoI 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·3 days agoTf even is that symbol? Looks like Box-drawing characters to me
minus-squarebss03@infosec.publinkfedilinkEnglisharrow-up3·2 days agoIt’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-squarelemmyknow@lemmy.todaylinkfedilinkEnglisharrow-up1·2 days agoOi, bruv. Just wanned to know wassup. No need to middle-finger me (without emojis)
minus-squarexx3rawr@sh.itjust.workslinkfedilinkEnglisharrow-up1·2 days agoNothin’, what’s up with you?
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?
⊥
Oi, bruv. Just wanned to know wassup. No need to middle-finger me (without emojis)
Nothin’, what’s up with you?
Nun, wazup witcha?