Comment on I 🖤 LaTeX

• bss03@infosec.pub ⁨1⁩ ⁨day⁩ 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

  • lemmyknow@lemmy.today ⁨1⁩ ⁨day⁩ ago

    What’s up tack?

    source

    • bss03@infosec.pub ⁨1⁩ ⁨day⁩ ago

      ⊥

      source

      • lemmyknow@lemmy.today ⁨1⁩ ⁨day⁩ ago

        Oi, bruv. Just wanned to know wassup. No need to middle-finger me (without emojis)

        source
    • xx3rawr@sh.itjust.works ⁨1⁩ ⁨day⁩ ago

      Nothin’, what’s up with you?

      source

      • lemmyknow@lemmy.today ⁨1⁩ ⁨day⁩ ago

        Nun, wazup witcha?

        source