Remix.run Logo
dbacar 4 days ago

I respect the time you spent to write such a post with all those limited input alternatives (bowes).

ndriscoll 4 days ago | parent [-]

You can do ≈ by long holding = on Android/Gboard. The only way I know to get ∘ is to copy/paste it from a Unicode reference. Likewise with ⊸, which I was too lazy to look up and didn't know the name of, but now I know is MULTIMAP (U+22B8).

tomsmeding 4 days ago | parent [-]

It's also \multimap in TeX. The name never made sense to me because while I've seen it used for a variety of linear functions in math, I've never seen it used for a multimap, and indeed the math name in common use for it seems to be "lollipop".