Re: less-than or equal to with dot in the less-than part?

[Asmus Freytag (c)]

On 8/10/2016 5:06 AM, Andrew West wrote:

On 10 August 2016 at 12:21, Costello, Roger L.  wrote:

Do you know if there is another version of the symbol, but with a straight 
equals sign rather than a slanted equals sign? (The book that I referred to 
uses a straight equals sign not a slanted equals sign)

No, but there are lots of standardized variants for mathematical glyph
variants of this sort (see first section of
http://www.unicode.org/Public/UNIDATA/StandardizedVariants.txt), so
you could ask the UTC to define two more mathematical standardized
variants:

2A7F FE00; with straight equal; # LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
2A80 FE00; with straight equal; # GREATER-THAN OR SLANTED EQUAL TO
WITH DOT INSIDE

Then all you would need is to get someone to support the new
standardized variants in a math font.



Unicode does not use standardized variants for that particular 
distinctions in the undotted part of that family of symbols.


A./

Re: less-than or equal to with dot in the less-than part?

[Asmus Freytag (c)]

On 8/10/2016 2:08 AM, Andrew West wrote:

On 10 August 2016 at 09:45, Costello, Roger L.  wrote:

Here is the "less-than with dot" symbol:  ⋖
Here is the "less-than or equal to" symbol:  ≤

I need a symbol that is a combination: less-than or equal to with dot in the less-than 
part. Is there such a symbol in Unicode? The book "Parsing Techniques" uses 
this symbol on the bottom of page 273.

http://www.unicode.org/mail-arch/unicode-ml/y2016-m06/0117.html


The one sentence you need in following that link is:

"No, but there are U+2A7F ⩿ and U+2A80 ⪀ with slanted equals which might 
suffice. "


The principle seems to be that Unicode separately encodes slanted from 
non-slanted less-than-or-equal (and similar symbols), but has not done 
so for the ones with dot.


The question would be whether the reason for making the distinction for 
the non-dotted code points also holds for the dotted ones. If it does, 
this might be an omission, if not, as Andrew said, the existing forms 
might suffice.


A./

Re: less-than or equal to with dot in the less-than part?

[Andrew West]

On 10 August 2016 at 12:21, Costello, Roger L.  wrote:
>
> Do you know if there is another version of the symbol, but with a straight 
> equals sign rather than a slanted equals sign? (The book that I referred to 
> uses a straight equals sign not a slanted equals sign)

No, but there are lots of standardized variants for mathematical glyph
variants of this sort (see first section of
http://www.unicode.org/Public/UNIDATA/StandardizedVariants.txt), so
you could ask the UTC to define two more mathematical standardized
variants:

2A7F FE00; with straight equal; # LESS-THAN OR SLANTED EQUAL TO WITH DOT INSIDE
2A80 FE00; with straight equal; # GREATER-THAN OR SLANTED EQUAL TO
WITH DOT INSIDE

Then all you would need is to get someone to support the new
standardized variants in a math font.

Andrew

RE: less-than or equal to with dot in the less-than part?

[Costello, Roger L.]

Andrew West graciously pointed me to this symbol:

U+2A7F ⩿

Thank you Andrew!

Do you know if there is another version of the symbol, but with a straight 
equals sign rather than a slanted equals sign? (The book that I referred to 
uses a straight equals sign not a slanted equals sign)

/Roger

-Original Message-
From: Andrew West [mailto:andrewcw...@gmail.com] 
Sent: Wednesday, August 10, 2016 5:08 AM
To: Costello, Roger L. 
Cc: unicode@unicode.org
Subject: Re: less-than or equal to with dot in the less-than part?

On 10 August 2016 at 09:45, Costello, Roger L.  wrote:
>
> Here is the "less-than with dot" symbol:  ⋖ Here is the "less-than or 
> equal to" symbol:  ≤
>
> I need a symbol that is a combination: less-than or equal to with dot in the 
> less-than part. Is there such a symbol in Unicode? The book "Parsing 
> Techniques" uses this symbol on the bottom of page 273.

http://www.unicode.org/mail-arch/unicode-ml/y2016-m06/0117.html

Andrew

less-than or equal to with dot in the less-than part?

[Costello, Roger L.]

Hi Folks,

Here is the "less-than with dot" symbol:  ⋖

Here is the "less-than or equal to" symbol:  ≤

I need a symbol that is a combination: less-than or equal to with dot in the 
less-than part. Is there such a symbol in Unicode? The book "Parsing 
Techniques" uses this symbol on the bottom of page 273.

/Roger