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-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?
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?