Add most missing delimiters (and more) #69
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -24,32 +24,64 @@ space U+20 | |
| // Delimiters. | ||
| paren | ||
| .l ( | ||
| .l.flat ⟮ | ||
| .l.bar ⦇ | ||
| .l.stroked ⦅ | ||
| //Deprecated, use paren.l.stroked | ||
| .l.double ⦅ | ||
| .r ) | ||
| .r.flat ⟯ | ||
| .r.bar ⦈ | ||
| .r.stroked ⦆ | ||
| //Deprecated, use paren.r.stroked | ||
| .r.double ⦆ | ||
| .t ⏜ | ||
| .b ⏝ | ||
| brace | ||
| .l U+7B | ||
| .l.stroked ⦃ | ||
| //Deprecated, use brace.l.stroked | ||
| .l.double ⦃ | ||
| .r U+7D | ||
| .r.stroked ⦄ | ||
| //Deprecated, use brace.r.stroked | ||
| .r.double ⦄ | ||
| .t ⏞ | ||
| .b ⏟ | ||
| bracket | ||
| .l [ | ||
| .l.tick.t ⦍ | ||
| .l.tick.b ⦏ | ||
| .l.stroked ⟦ | ||
| //Deprecated, use bracket.l.stroked | ||
| .l.double ⟦ | ||
| .r ] | ||
| .r.tick.t ⦐ | ||
| .r.tick.b ⦎ | ||
| .r.stroked ⟧ | ||
| //Deprecated, use bracket.r.stroked | ||
| .r.double ⟧ | ||
| .t ⎴ | ||
| .b ⎵ | ||
| shell | ||
| .l ❲ | ||
| .l.stroked ⟬ | ||
| .l.filled ⦗ | ||
| //Deprecated, use shell.l.stroked | ||
| .l.double ⟬ | ||
| .r ❳ | ||
| .r.stroked ⟭ | ||
| .r.filled ⦘ | ||
| //Deprecated, use shell.r.stroked | ||
| .r.double ⟭ | ||
| .t ⏠ | ||
| .b ⏡ | ||
| bag | ||
| .l ⟅ | ||
| .r ⟆ | ||
| moustache | ||
| .l ⎰ | ||
| .r ⎱ | ||
| bar | ||
| .v | | ||
| .v.double ‖ | ||
|
|
@@ -63,14 +95,21 @@ fence | |
| .r ⧙ | ||
| .r.double ⧛ | ||
| .dotted ⦙ | ||
| corner | ||
| .l.t ⌜ | ||
| .l.b ⌞ | ||
| .r.t ⌝ | ||
| .r.b ⌟ | ||
| angle ∠ | ||
| .l ⟨ | ||
| .l.curly ⧼ | ||
| .l.dot ⦑ | ||
| .l.bar ⦉ | ||
|
There was a problem hiding this comment. If #68 is accepted, this should become a variant of There was a problem hiding this comment. I don't like the use of There was a problem hiding this comment. Bar is meant to refer to the delimiter here There was a problem hiding this comment. I may add that ⧞ is infinity.bar There was a problem hiding this comment. I don't this ⧞ is the mos intuitive result for There was a problem hiding this comment. Both ⦇ and ⦅ are closed, but are distinct symbols There was a problem hiding this comment. The first one comes from Z notation (⦉ as well btw), which I don't think we have named symbols for as of now.1 I'm wondering whether we should add them. Although I guess I see no immediate reason not to. Footnotes
There was a problem hiding this comment. I see no reason not to add them at some point, but that seems out of scope for a PR focused on delimiters. Edit: To be clear, the delimiters I mentioned are already part of this PR. I was just trying to explain why we need three different modifiers to describe the "double delimiters" |
||
| .l.double ⟪ | ||
| .r ⟩ | ||
| .r.curly ⧽ | ||
| .r.dot ⦒ | ||
| .r.bar ⦊ | ||
|
There was a problem hiding this comment. If #68 is accepted, this should become a variant of |
||
| .r.double ⟫ | ||
| .acute ⦟ | ||
| .arc ∡ | ||
|
|
@@ -93,10 +132,10 @@ ceil | |
| floor | ||
| .l ⌊ | ||
| .r ⌋ | ||
|
|
||
| // Punctuation. | ||
| amp & | ||
| .inv ⅋ | ||
| ast | ||
| .op ∗ | ||
| .basic * | ||
|
|
||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think I agree with this change. It's pretty important here that the
lmodifier means a left delimiter andrmeans a right delimiter.There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Tho with
.l.tthere's the issue of writingcorner.lorcorner.t. This could be resolved with the minimum modifier set idea, but currently the issue would be there.