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

Asmus Freytag (c) asmusf at ix.netcom.com
Wed Aug 10 11:14:44 CDT 2016

On 8/10/2016 2:08 AM, Andrew West wrote:
> On 10 August 2016 at 09:45, Costello, Roger L. <costello at mitre.org> 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.


More information about the Unicode mailing list