@ViniciusCouto BTW, until we get ⊇, you can define a small helper like I←{(⊂⍺)⌷⍵}. I actually have I←{(⊂⍵)⌷⍺}, which has the arguments swapped, defined in some code, since I typically am computing indices and want to feed those in from the right.

I got that latter I from Aaron Hsu, who apparently got it from Roger Hui, so there's a strong lineage there :P

@B.Wilson @ViniciusCouto If you're anyway defining a helper. you can import the entire ⊇ definition with ]get https://github.com/abrudz/primitives/blob/main/select.aplf which defines Ⓓ (looks a bit like ⊇ in the APL385 font).

@Adám That repo is cute. How are you actually typing these characters? On Linux, the provided xkeyboard-config definition doesn't have a variant for them, so either we need to supply a patch or setup the compose key appropriately.

@B.Wilson I believe you can compose your way to it: ⎄ ( D )

There we go!

Source

Ah! There it is. I even tried grepping that file earlier. However, it's under a symlinked directory, and I forgot to specify -R to grep instead of -r.

Looks like we even have ⍛, ⊇. Not sure how to actually type the combination for ⍢, though. Need <diaersis> somehow.

@B.Wilson ⎄ " " or ⎄ " <space>

Yeah, but that needs to be composed with ∇ somehow, and typing either of those gives a lone ¨.

But I'm retared. Dialog has ¨ mapped already.

Both ¨ and ∇ are directly on the keyboard, yes.

@user52971 Hi Guy Frankel. If you want to participate here, please email access@apl.chat

@user379764 Hi ryan revenge. If you want to participate here, please email access@apl.chat