Notification Bot (Feb 21 2025 at 03:27): Notification Bot (Feb 21 2025 at 03:27):This topic was moved to #ideas > + instead of | in patterns by Sky Rose.
Michael “Rosy” Luder-Rosefield (Feb 23 2025 at 02:51):My incredibly bad idea is that there are a lot of potentially really useful unicode characters that could help, if only we normalise their use and ease of typing. A lot of them are in https://en.wikipedia.org/wiki/Template:Punctuation_marks_in_Unicode
Obviously many issues with visual similarity and lack of necessity, but there are many punctuation marks in common usage in non-English languages that treating as exotic, untouchable characters seems really parochial. For instance, the French guillemets « », Japanese brackets 「 」 『 』, and Spanish ¡.
My even worse idea is that the Japanese brackets could be used to write and separate multiple vectors/matrices/arrays inline....
Joshua Warner (Feb 23 2025 at 03:45):How does one type those symbols in a normal text editor?
Michael “Rosy” Luder-Rosefield (Feb 23 2025 at 06:24):Joshua Warner said:
How does one type those symbols in a normal text editor?
There's various ways of various degrees of hackery & irritation, but with any significant community impetus behind it, that should be reduced. And it _should_ be reduced. Julia does something towards this: https://docs.julialang.org/en/v1/manual/unicode-input/; let's add to that momentum.
Last updated: Jun 16 2026 at 16:19 UTC