Add name for the "whitespace glyph" symbol.#153
Add name for the "whitespace glyph" symbol.#153zacharie-moughanim wants to merge 3 commits intotypst:mainfrom
Conversation
|
Note that a similar character exists in Unicode: U+2420 ␠ SYMBOL FOR SPACE. Both come from the Control Pictures block. |
|
The name in html is |
|
Maybe we could remove forget about the name |
|
According to French Wikipédia, U+2422 ␢ is used in theoretical computer science.1 I am struggling to find uses of this symbol other than the book mentioned on this page, and unable to locate the proposal that lead to its inclusion to Unicode. I do not know whether we actually want to assign it a name. My intuition is that the graphic pictures for control codes (i.e., 2400..2421 and 2424) should be in their own sub-module because they are so clearly related without being variants of each others. Then, U+2423 ␣ could either be a variant of U+2420 ␠ and U+2422 ␢ Footnotes |
|
Also, don't forget to update the changelog to mention the addition(s). |
The "whitespace glyph" is the symbol often used to designate the spacebar on keyboards : ␣.
I'm honestly not sure about the name, nor if it is pertinent to put it as a variant of
space, which always designate whitespaces.