Add name for the "whitespace glyph" symbol.#153
Add name for the "whitespace glyph" symbol.#153zacharie-moughanim wants to merge 8 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). |
|
Just added each symbol representing a non-printable character under a submodule I got most of the names from compart and from this wikipedia page. |
|
I think we should use the full words Edit: Missed a couple |
Done |
MDLC01
left a comment
There was a problem hiding this comment.
For the control code pictures, I am wondering whether it would actually be better to use the common abbreviations for the symbols (e.g., as listed at https://en.wikipedia.org/wiki/Basic_Latin_(Unicode_block)#Table_of_characters), which seems to match the letters displayed on the corresponding glyphs?
Right now, multiple variants feel weird, such as heading.start or transmission.end, because they seem to imply the existence of a dual variant (heading.end and transmission.start) that does not in fact exist (or rather, it exists under a different name: heading.end is text.start and transmission.start is heading.start). I feel like most control codes exist as is and aren't variants of each others, so using separate names would make more sense.
| .unit ␟ | ||
| space ␠ | ||
| delete ␡ | ||
| .alt ␥ |
There was a problem hiding this comment.
I think we can leave this one out of this PR as this is a symbol used on keyboards rather than a control picture.
| blank ␢ | ||
| .box ␣ |
There was a problem hiding this comment.
Those two definitely belong outside of the control submodule imo.
| .alt ␥ | ||
| blank ␢ | ||
| .box ␣ | ||
| } No newline at end of file |
There was a problem hiding this comment.
Please make sure the file ends with a proper line ending.
There was a problem hiding this comment.
I have to say I don't like this breaking words into modifiers just for the sake of it, especially when there's no meaningful default variant.
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.