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.
The one sentence you need in following that link is:
"No, but there are U+2A7F ⩿ and U+2A80 ⪀ with slanted equals which might
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
More information about the Unicode