fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 5 months agoI 🖤 LaTeXimagemessage-square126linkfedilinkarrow-up1787arrow-down117cross-posted to: latex@lemmy.ca
arrow-up1770arrow-down1imageI 🖤 LaTeXfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 5 months agomessage-square126linkfedilinkcross-posted to: latex@lemmy.ca
minus-squarebss03linkfedilinkEnglisharrow-up3·5 months 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-squarexx3rawr@sh.itjust.workslinkfedilinkEnglisharrow-up2·5 months agoNothin’, what’s up with you?
minus-squarelemmyknow@lemmy.todaylinkfedilinkEnglisharrow-up1·5 months agoOi, bruv. Just wanned to know wassup. No need to middle-finger me (without emojis)
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)