Comment on I 🖤 LaTeX

<- View Parent
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.

source
Sort:hotnewtop