Comment on I đŸ–€ LaTeX

<- View Parent
bss03@infosec.pub ⁚4⁩ ⁚weeks⁩ 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