Post #2208427
2026-03-11 15:04 UTC
@OscarCunningham@mathstodon.xyz @johncarlosbaez@mathstodon.xyz 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?
Replies (1)
-
@OscarCunningham@mathstodon.xyz 2026-03-11 15:16
@pianosaurus@c.im That's true. But it's a big improvement just to know what meaning that register assigned to the symbol!