- From: Warren Searle <ucabwas@ucl.ac.uk>
- Date: Thu, 02 Sep 1999 14:47:43 +0100
- 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 UTC