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

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

Andrew
Received on Wed Aug 10 2016 - 04:09:18 CDT