@OscarCunningham Absolutely. I picked up on the wikipedia edit a few months ago (someone linked it here on Mastodon), and got my hopes up when I saw this now thinking it was more news. Hopefully, the buzz generated around it now will end up uncovering some more info.
undefined
Pianosaurus 🕴
@pianosaurus@c.im
Posts
-
It looks like the ⍼ saga has finally ended! -
It looks like the ⍼ saga has finally ended!@OscarCunningham @johncarlosbaez Sorry, but this is absolutely not solved. The source listed is a register of symbols, not natural usage. Where did _they_ get it from in 1950? How is it better that it showed up magically there, instead of in unicode directly?