• cockmushroom@reddthat.com
    link
    fedilink
    English
    arrow-up
    10
    ·
    edit-2
    22 days ago

    The point is not that ∀s∈S∃f(s) and g(s) | f(s)∈[0,1] and g(s)∈[0,1], it’s that ∀y∈[0,1]h(y)∈S

    • MinnesotaGoddam@lemmy.world
      link
      fedilink
      English
      arrow-up
      3
      ·
      21 days ago

      you know you finally demonstrated a reasonable use for the keys on the number row (i prefer tenkey for numbers anyways) and coding in logic ascii would be perfect. i just need to make myself some keycaps. and the library with the 3d printer is just a 7 hour bikeride away…

      • cockmushroom@reddthat.com
        link
        fedilink
        English
        arrow-up
        2
        ·
        17 days ago

        Fwiw, i’m using unknown-keyboard on android. You can add a button for the greek/math symbol layout in the settings.