Re: Possible bug in the operator dictionary and mmlalias.ent? from Bobby Thomale on 2010-02-04 (www-math@w3.org from February 2010)

From: Bobby Thomale <bthomale@gmail.com>
Date: Thu, 4 Feb 2010 09:17:18 -0600
To: David Carlisle <davidc@nag.co.uk>
Cc: www-math@w3.org
Message-ID: <a7ada4d71002040717s4447a03h25af949f7b76fdf7@mail.gmail.com>

> I assume  NotGreaterFullEqual  should be the negation of
>
> <!ENTITY GreaterFullEqual "&#x02267;" ><!--GREATER-THAN OVER EQUAL TO -->
>
>
> ie U+2267 rather than U+2266

Yes, that sounds right to me too.

Also you might want to consider adding NotLessFullEqual as the negation of:

<!ENTITY LessFullEqual    "&#x02266;" ><!--alias ISOAMSR lE -->

for completeness, since all of the other variants of greater and not
greater have corresponding less than and not less than entities
defined.

Somehow those two symbols probably got mixed up and combined when the
list was initially being compiled.

-- 
Bobby Thomale
Vital Source Technologies
http://www.vitalsource.com

Received on Thursday, 4 February 2010 15:17:50 UTC