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

Marking up Temporal Logic

From: Warren Searle <ucabwas@ucl.ac.uk>
Date: Thu, 02 Sep 1999 14:47:43 +0100
Message-ID: <37CE7FFE.50C1A872@ucl.ac.uk>
To: www-math@w3.org
I was hoping someone might be able to advise me on how I can quickly
markup some basic first-order temporal logic equations to be included on
a web document.
I guess I need to use the character codes for the operators I need but
is there an easy way to find these out (I don't think it matters was
character encoding standard I use)

Thank you loads!
Warren
Received on Thursday, 2 September 1999 09:48:04 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:48 GMT