Comment on I 🖤 LaTeX
shmanio@lemmy.world 2 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”
Comment on I 🖤 LaTeX
shmanio@lemmy.world 2 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”
lemmyknow@lemmy.today 2 days ago
Tf even is that symbol? Looks like Box-drawing characters to me
bss03@infosec.pub 2 days 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.
lemmyknow@lemmy.today 1 day ago
What’s up tack?
bss03@infosec.pub 1 day ago
⊥
xx3rawr@sh.itjust.works 1 day ago
Nothin’, what’s up with you?