Re: Are there Unicode symbols for parenthesis generator symbols?

From: Philippe Verdy <verdy_p_at_wanadoo.fr>
Date: Sun, 26 Jun 2016 15:13:11 +0200

The encoded variants are U+2A7E (⩿) and U+2A7F (⪀) but with the lower bar
slanted rather than horizontal.
May be we could encode them with variant selectors (like for the two known
variants of ≤ and ≥) ?

2016-06-26 15:00 GMT+02:00 Philippe Verdy <verdy_p_at_wanadoo.fr>:

> But there are also variants of U+2264 (≤) and U+2265 (≥) with dots within
> the bracket (starting page 973 in the same book) for "weak precedence" of
> operators...
>
> These variants (used to compine ⋖ or ⋗ with ≐) don't seem to be encoded.
>
>
> 2016-06-26 11:38 GMT+02:00 Andrew West <andrewcwest_at_gmail.com>:
>
>> On 26 June 2016 at 09:37, Costello, Roger L. <costello_at_mitre.org> wrote:
>> >
>> > In the book Parsing Techniques the authors use a less than symbol with
>> a dot tucked inside for the open parenthesis and a greater than symbol with
>> a dot tucked insider for the close parenthesis. Also, they use an equal
>> sign with a dot over it. You can see the 3 symbols here:
>> >
>> >
>> https://books.google.com/books?id=05xA_d5dSwAC&pg=PA267&lpg=PA267&dq=parenthesis+generator+symbols&source=bl&ots=3OwyeBndO8&sig=ZhwoeYRJjm3GTzNNP1vgsAVRisc&hl=en&sa=X&sqi=2&ved=0ahUKEwi577X-o8XNAhWBaz4KHc0QA_EQ6AEIIzAB#v=onepage&q=parenthesis%20generator%20symbols&f=false
>> >
>> > Are there Unicode symbols for the 3 symbols?
>>
>> Yes, and they have all been around since Unicode 1.0:
>>
>> U+22D6 ⋖
>> U+22D7 ⋗
>> U+2250 ≐ (named APPROACHES THE LIMIT)
>>
>> Andrew
>>
>>
>
Received on Sun Jun 26 2016 - 08:14:22 CDT

This archive was generated by hypermail 2.2.0 : Sun Jun 26 2016 - 08:14:22 CDT