3 ms·
I am using a Stream Deck for that. Should have bought the largest one, but even the medium size on is quite useful via nested menus. Here are some symbols I am
by auggierose 4y ago
I am using a Stream Deck for that. Should have bought the largest one, but even the medium size on is quite useful via nested menus. Here are some symbols I am using for a formalisation in Isabelle currently: ∀∃⊤⊥𝔇𝔄≽⇒𝒰υτ↣𝟭‹›∅×∈⊆
- privong 4y ago> I am using a Stream Deck for that. Something like the DuckyPad[0,1] might work for that as well. I haven't tried using mine for APL or anything like that, but it's been great for use as a "Zoom meeting control", numpad, and MacOS shortcut pad. [0] https://github.com/dekuNukem/duckyPad/ https://github.com/dekuNukem/duckyPad/ [1] https://www.tindie.com/products/dekuNukem/duckypad-do-it-all-mechanical-macropad/ https://www.tindie.com/products/dekuNukem/duckypad-do-it-all...