Re: Dictionary

Hi.

Here is my two cents worth on implementing operator dictionaries.

Both David Carlisle and Kostya Serebriany have made recent postings
about their plans for implementing operators dictionaries, since the
MathML spec is a) incomplete/inaccurate when it comes to the entity
listings and operator dictionary, and b) sort of vague as to how it
should be implemented.  

The WebEQ operator dictionary uses Unicode strings for keys.  Thus
"max" consists of three Unicode characters, all of which happen to be
ASCII characters too.  For entities like ⟨, WebEQ first looks
them up in a table to get a Unicode value, and then looks up the
Unicode string containing that single Unicode character in the
dictionary.  

Robert

P.S.  Many thanks to David for posting his entity declarations!