W3C home > Mailing lists > Public > www-math@w3.org > September 1999

Re: Marking up Temporal Logic

From: David Carlisle <davidc@nag.co.uk>
Date: Thu, 2 Sep 1999 18:06:15 +0100 (BST)
Message-Id: <199909021706.SAA18976@nag.co.uk>
To: www-math@w3.org

> Not every Unicode character have named entities.  Many mathematical
> operators have no named entity.  Assuming you don't have a Unicode capable
> editor, numeric entities are the only way to access these characters.
although since this is a w3c list it is probably worth mentioning that
the entity declarations for mathml (unsurprisingly) name a lot more
characters than the html or (currently) standard unicode listings.

see the file bycodes.html in the mathml rec.

Still, I think even the extended lists in MathML don't cover all
the symbols required for temporal logic (and numeric references don't
help either as the characters simply aren't there).

Received on Thursday, 2 September 1999 13:09:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:29 UTC